Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings /

Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings /

Show other versions (1)

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.

Saved in:
Bibliographic Details
Main Authors: Thomas Schubert, E. editor., Windley, Philip J. editor., Alves-Foss, James. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
Subjects:Computer science., Logic design., Architecture, Computer., Mathematical logic., Artificial intelligence., Electronics., Microelectronics., Computer Science., Computer System Implementation., Mathematical Logic and Foundations., Mathematical Logic and Formal Languages., Artificial Intelligence (incl. Robotics)., Logic Design., Electronics and Microelectronics, Instrumentation.,
Online Access:http://dx.doi.org/10.1007/3-540-60275-5
Tags: Add Tag
No Tags, Be the first to tag this record!
Show all versions (2)

Similar Items