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

Documents similaires

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