Theorem Proving in Higher Order Logics: 18th International Conference‚ TPHOLs 2005: Oxford‚ UK‚ August 22–25‚ 2005: Proceedings
Book Title
Theorem Proving in Higher Order Logics: 18th International Conference‚ TPHOLs 2005: Oxford‚ UK‚ August 22–25‚ 2005: Proceedings
Editor
Joe Hurd and Tom Melham
ISBN
3−540−28372−2
ISSN
0302−9743
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
3603
Year
2005