Lecture Notes in Computer Science
Volume 3603, 2005, DOI: 10.1007/11541868

Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Joe Hurd and Tom Melham

Search within

Browse This Book

About This Book

Title
Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2005
DOI
10.1007/11541868
ISBN
978-3-540-28372-0
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Monday, August 29, 2005

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002