Theorem proving in higher order logics [electronic resource] : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.).

Benzer Materyaller

• Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27-October 1 1998 : proceedings /
  Baskı/Yayın Bilgisi: (1998)
• Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, Or., August 14-18, 2000 : proceedings /
  Baskı/Yayın Bilgisi: (2000)
• Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings /
  Baskı/Yayın Bilgisi: (1997)
• Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings /
  Yazar:: International Conference on Theorem Proving in Higher Order Logics 1996 : Turku, Finland
  Baskı/Yayın Bilgisi: (1996)
• Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings /
  Baskı/Yayın Bilgisi: (2007)