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

David A. Basin, Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Volume 2758 of Lecture Notes in Computer Science, Springer, 2003.

Conference: tphol2003

Abstract

Abstract is missing.

Table of Contents