Name
Title | ||
|---|---|---|
Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings |
Year | Venue | Keywords |
|---|---|---|
1997 | CADE | automated deduction |
Field | DocType | Volume |
HOL,Automated reasoning,Programming language,Computer science,Minimal logic,Automated theorem proving,Nuprl,Propositional calculus,First-order logic,Proof assistant | Conference | 1249 |
ISBN | Citations | PageRank |
isbn | 44 | 10.01 |
References | Authors | |
0 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| William McCune | 1 | 123 | 27.86 |