Some Research Issues in Higher Order Logic Theorem Proving

Ítems similars

• Introduction to HOL: A theorem proving environment for higher order logic
  Publicat: (1993)
• Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
  Publicat: (1994)
• Automated theorem proving : a logical basis /
  per: 403272 Loveland, Donald W.
  Publicat: (1978)
• Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
  per: Aagaard, M, et al.
  Publicat: (1999)
• A Human Oriented Logic for Automatic Theorem Proving
  per: Nevins, Arthur J.
  Publicat: (2004)