Theorem Proving in Higher Order Logics: 18th International Conference‚ TPHOLs 2005: Oxford‚ UK‚ August 22–25‚ 2005: Proceedings

Benzer Materyaller

• FSTTCS 2005 : foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings /
  Yazar:: Conference on Foundations of Software Technology and Theoretical Computer Science (25th : 2005 : Hyderabad, India), ve diğerleri
  Baskı/Yayın Bilgisi: (2005)
• Automated theorem proving : a logical basis /
  Yazar:: 403272 Loveland, Donald W.
  Baskı/Yayın Bilgisi: (1978)
• Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings
  Baskı/Yayın Bilgisi: (1994)
• Some Research Issues in Higher Order Logic Theorem Proving
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1996)
• Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
  Baskı/Yayın Bilgisi: (1994)