Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Automatic theorem proving --- Logic, Symbolic and mathematical --- Congresses. --- Congresses --- Logic [Symbolic and mathematical ] --- Computer network architectures. --- Logic, Symbolic and mathematical. --- Computer science. --- Artificial intelligence. --- Logic design. --- Electronics. --- Computer System Implementation. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Logic Design. --- Electronics and Microelectronics, Instrumentation. --- Electrical engineering --- Physical sciences --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Automatic theorem proving - Congresses. --- Logic, Symbolic and mathematical - Congresses