Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1125)
Included in the following conference series:
Conference proceedings info: TPHOLs 1996.
Access this book
Other ways to access
About this book
The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.
Keywords
Table of contents (28 papers)
Other volumes
-
Theorem Proving in Higher Order Logics
Bibliographic Information
Book Title: Theorem Proving in Higher Order Logics
Book Subtitle: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings
Editors: Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0105392
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
eBook ISBN: 978-3-540-70641-0Published: 06 May 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 447
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Logic Design, Logics and Meanings of Programs, Mathematical Logic and Foundations, Software Engineering