Introduction to HOL: A theorem proving environment for higher order logic

Ähnliche Einträge

• Some Research Issues in Higher Order Logic Theorem Proving
  von: Melham, T
  Veröffentlicht: (1996)
• A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving
  von: Yassmeen Elderhalli, et al.
  Veröffentlicht: (2019-01-01)
• Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems
  von: Zheng Yang, et al.
  Veröffentlicht: (2018-01-01)
• Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving
  von: Adnan Rashid, et al.
  Veröffentlicht: (2020-01-01)
• Symbolic logic and mechanical theorem proving /
  von: 336504 Chang, Chin-Ling, et al.
  Veröffentlicht: (1973)