Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings /

Lignende værker

• Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /
  af: Klaus Schneider, Jens Brandt
  Udgivet: (2007, c2007)
• Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
  af: Joe Hurd, Tom Melham
  Udgivet: (2005, c2005)
• Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings /
  af: Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin
  Udgivet: (1999, c1999)
• Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
  af: Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan
  Udgivet: (2004, c2004)
• Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
  af: Elsa L. Gunter, Amy Felty
  Udgivet: (1997, c1997)