Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Joe Hurd Thomas F. Melham Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings 3603 2005 3-540-28372-2 TPHOLs Lecture Notes in Computer Science Springer db/conf/tphol/tphol2005.html