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

Míreanna comhchosúla

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