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

Documenti analoghi

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