Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.
The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.
The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.
Similar content being viewed by others
Keywords
Table of contents (26 papers)
-
Front Matter
Bibliographic Information
Book Title: Higher Order Logic Theorem Proving and Its Applications
Book Subtitle: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Editors: E. Thomas Schubert, Philip J. Windley, James Alves-Foss
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60275-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60275-0Published: 23 August 1995
eBook ISBN: 978-3-540-44784-9Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 408
Topics: Computer System Implementation, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Artificial Intelligence, Logic Design, Electronics and Microelectronics, Instrumentation