Theorem Proving in Higher Order Logics
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
- Editors
Conference proceedings
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4732)