Some Research Issues in Higher Order Logic Theorem Proving

অনুরূপ উপাদানগুলি

• Introduction to HOL: A theorem proving environment for higher order logic
  প্রকাশিত: (1993)
• Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems
  অনুযায়ী: Zheng Yang, অন্যান্য
  প্রকাশিত: (2018-01-01)
• Some observations on the logical foundations of inductive theorem proving
  অনুযায়ী: Stefan Hetzl, অন্যান্য
  প্রকাশিত: (2018-04-01)
• Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving
  অনুযায়ী: Adnan Rashid, অন্যান্য
  প্রকাশিত: (2020-01-01)
• Symbolic logic and mechanical theorem proving /
  অনুযায়ী: 336504 Chang, Chin-Ling, অন্যান্য
  প্রকাশিত: (1973)