Title | ||
---|---|---|
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings |
Year | Venue | Keywords |
---|---|---|
1988 | CADE | automated deduction |
Field | DocType | Volume |
Implicational propositional calculus,Automated reasoning,Programming language,Computer science,Automated theorem proving,Theorem Proving System,Prolog,Logic programming,Reasoning system,Larch Prover | Conference | 310 |
ISBN | Citations | PageRank |
isbn | 71 | 30.76 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ewing L. Lusk | 1 | 3080 | 472.23 |
Ross A. Overbeek | 2 | 760 | 234.40 |