Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Konrad Slind Annette Bunker Ganesh Gopalakrishnan Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings 3223 3-540-23017-3 TPHOLs Lecture Notes in Computer Science Springer 2004 db/conf/tphol/tphol2004.html