Theorem Proving In Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

By Klaus Schneider, TPHOLs 2007 (2007 Kaiserslautern, Germany), TPHOLs

Klaus Schneider, Jens Brandt (eds.). Includes Bibliographical References And Index. Also Issued Online.

Theorem Proving in Higher Order Logics 9th International Conference Tphols 96 Turku Finland August 26 30 1996

By TPHOLs 96 1996 Turku Finland

Theorem Proving In Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

By TPHOLs '97 (1997 Murray Hill, N.J.), Amy Felty, TPHOLs, Elsa L. Gunter

This Book Constitutes The Refereed Proceedings Of The 10th International Conference On Theorem Proving In Higher Order Logics, Tphols '97, Held In Murray Hill, Nj, Usa, In August 1997. The Volume P...

Theorem Proving In Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes In Computer Science (3603))

By Tom Melham, Joe Hurd, TPHOLs

Joe Hurd, Tom Melham (eds.). Includes Bibliographical References And Index. Also Issued Online.

Theorem Proving In Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : Proceedings

By Ganesh C. Gopalakrishnan, Annette Bunker, Konrad Slind, TPHOLs, Utah) Tphols (17th : 2004 : Park City

This Volume Constitutes The Proceedings Of The 17th International Conference On Theorem Proving In Higher Order Logics (tphols 2004) Held September 14–17, 2004 In Park City, Utah, Usa. Tphols Cover...

Theorem Proving In Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

By Yves Bertot, Gilles Dowek, Laurent Thery, André Hirschowitz, Christine Paulin, TPHOLs

Theorem Proving In Higher Order Logics

By Paul B. Jackson, Richard J. Boulton, TPHOLs 2001 (2001 Edinburgh, Scotland), TPHOLs

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2...

Theorem Proving In Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings

By Sofiène Tahar, César A. Muñoz, Victor A. Carrenõ, TPHOLs 2002 (15th 2002 Hampton, Va.), TPHOLs, Va.) Tphols 2002 (2002 : Hampton

this Book Constitutes The Refereed Proceedings Of The 15th International Conference On Theorem Proving In Higher Order Logics, Tphols 2002, Held In Hampton, Va, Usa In August 2002.the 20 Revised Fu...

Theorem Proving in Higher Order Logics

By Harrison John, Mark Aagaard

Theorem Proving in Higher Order Logics

By Ganesh C. Gopalakrishnan, Annette Bunker, Konrad Slind