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

Ítems similars

• Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: Proceedings /
  per: TPHOLs 2007 (2007 : Kaiserslautern, Germany), et al.
  Publicat: (2007)
• Proceedings of Brunei International Conference on Engineering and Technology (BICET 2005), Brunei, 15-18th August 2005 /
  per: Brunei International Conference on Engineering and Technology (2005 : Brunei Darussalam)
  Publicat: (2005)
• International conference on coastlines, structures and breakwaters 2005 : proceedings of the International Conference on coastlines, structures and breakwaters, 2005 organised on behalf of the Maritime Board of the Institution of Civil Engineers and held in London, UK, on 20-22 April 2005 /
  per: International Conference on Coastlines, Structures and Breakwaters (8th : 2005 : London), et al.
  Publicat: (2005)
• Symbolic logic and mechanical theorem proving /
  per: 336504 Chang, Chin-Ling, et al.
  Publicat: (1973)
• Affective computing and intelligent interaction : first international conference, ACII 2005, Beijing, China, October 22-24, 2005 : proceedings /
  per: ACII 2005 (2005 : Beijing, China), et al.
  Publicat: (2005)