Name
Title | ||
|---|---|---|
Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings |
Year | Venue | Keywords |
|---|---|---|
2001 | TPHOLs | theorem proving,higher order logic |
Field | DocType | Volume |
HOL,Mizar system,Programming language,Refinement calculus,Computer science,Nuprl,Automated theorem proving,Type theory,Propositional calculus,Logic programming | Conference | 2152 |
ISBN | Citations | PageRank |
isbn | 22 | 2.89 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Richard J. Boulton | 1 | 255 | 23.64 |
| Paul B. Jackson | 2 | 128 | 14.62 |