Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

David A. Basin Burkhart Wolff Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings TPHOLs Lecture Notes in Computer Science 2758 Springer 2003 3-540-40664-6 db/conf/tphol/tphol2003.html