Some Research Issues in Higher Order Logic Theorem Proving

Registos relacionados

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