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

Những quyển sách tương tự

• Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: Proceedings /
  Bằng: TPHOLs 2007 (2007 : Kaiserslautern, Germany), et al.
  Được phát hành: (2007)
• Some Research Issues in Higher Order Logic Theorem Proving
  Bằng: Melham, T
  Được phát hành: (1996)
• Symbolic logic and mechanical theorem proving /
  Bằng: 336504 Chang, Chin-Ling, et al.
  Được phát hành: (1973)
• Proceedings of Brunei International Conference on Engineering and Technology (BICET 2005), Brunei, 15-18th August 2005 /
  Bằng: Brunei International Conference on Engineering and Technology (2005 : Brunei Darussalam)
  Được phát hành: (2005)
• Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings
  Được phát hành: (1994)