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 Slind157755.90
Annette Bunker2595.76
Ganesh Gopalakrishnan31619130.11