Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings

Ähnliche Einträge

• Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
  Veröffentlicht: (1994)
• Some Research Issues in Higher Order Logic Theorem Proving
  von: Melham, T
  Veröffentlicht: (1996)
• Theorem Proving in Higher Order Logics: 18th International Conference‚ TPHOLs 2005: Oxford‚ UK‚ August 22–25‚ 2005: Proceedings
  Veröffentlicht: (2005)
• Introduction to HOL: A theorem proving environment for higher order logic
  Veröffentlicht: (1993)
• Automated theorem proving : a logical basis /
  von: 403272 Loveland, Donald W.
  Veröffentlicht: (1978)