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

Títulos similares

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