Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings

Richard J. Boulton Paul B. Jackson Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings TPHOLs Lecture Notes in Computer Science 2152 Springer 2001 3-540-42525-X db/conf/tphol/tphol2001.html