Some Research Issues in Higher Order Logic Theorem Proving

Similar Items

• Introduction to HOL: A theorem proving environment for higher order logic
  Published: (1993)
• Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems
  by: Zheng Yang, et al.
  Published: (2018-01-01)
• Some observations on the logical foundations of inductive theorem proving
  by: Stefan Hetzl, et al.
  Published: (2018-04-01)
• Symbolic logic and mechanical theorem proving /
  by: 336504 Chang, Chin-Ling, et al.
  Published: (1973)
• Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
  Published: (1994)