Some Research Issues in Higher Order Logic Theorem Proving

相似書籍

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