Lecture Notes in Computer Science
Volume 1275, 1997, DOI: 10.1007/BFb0028381

Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Elsa L. Gunter and Amy Felty

Contents

Viewing all 22 chapters

About This Book

Title
Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
1997
DOI
10.1007/BFb0028381
ISBN
978-3-540-63379-2
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Monday, April 10, 2006

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