Lecture Notes in Computer Science
Volume 3223, 2004, DOI: 10.1007/b100400

Theorem Proving in Higher Order Logics
17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Konrad Slind, Annette Bunker and Ganesh Gopalakrishnan

Contents

Viewing all 23 chapters

About This Book

Title
Theorem Proving in Higher Order Logics
17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2004
DOI
10.1007/b100400
ISBN
978-3-540-23017-5
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Tuesday, December 07, 2004

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