Title | ||
---|---|---|
Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings |
Year | Venue | Keywords |
---|---|---|
2004 | TPHOLs | higher order logic,theorem proving |
DocType | Volume | ISBN |
Conference | 3223 | isbn |
Citations | PageRank | References |
23 | 2.81 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Konrad Slind | 1 | 577 | 55.90 |
Annette Bunker | 2 | 59 | 5.76 |
Ganesh Gopalakrishnan | 3 | 1619 | 130.11 |