22. TPHOLs 2009: Munich, Germany

• 
  Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (Eds.): Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5674 ISBN 978-3-642-03358-2 [ contents ]

- TPHOLs 2009 Home Page

21. TPHOLs 2008: Montreal, Canada

• 
  Otmane Aït Mohamed, César A. Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 5170 ISBN 978-3-540-71065-3 [ contents ]

20. TPHOLs 2007: Kaiserslautern, Germany

• 
  Klaus Schneider, Jens Brandt (Eds.): Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4732 ISBN 978-3-540-74590-7 [ contents ]

3. IJCAR 2006: Seattle, WA, USA

• 
  Ulrich Furbach, Natarajan Shankar (Eds.): Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4130 ISBN 3-540-37187-7 [ contents ]

The Seventeen Provers of the World 2006

• 
  Freek Wiedijk (Ed.): The Seventeen Provers of the World, Foreword by Dana S. Scott. Springer 2006 Lecture Notes in Computer Science 3600 ISBN 3-540-30704-4 [ contents ]

18. TPHOLs 2005: Oxford, UK

• 
  Joe Hurd, Thomas F. Melham (Eds.): Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3603 ISBN 3-540-28372-2 [ contents ]

17. TPHOLs 2004: Park City, Utah, USA

• 
  Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (Eds.): Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3223 ISBN 3-540-23017-3 [ contents ]

16. TPHOLs 2003: Rom, Italy

• 
  David A. Basin, Burkhart Wolff (Eds.): Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2758 ISBN 3-540-40664-6 [ contents ]

15. TPHOLs 2002: Hampton, VA, USA

• 
  Victor Carreño, César A. Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2410 ISBN 3-540-44039-9 [ contents ]

14. TPHOLs 2001: Edinburgh, Scotland, UK

• 
  Richard J. Boulton, Paul B. Jackson (Eds.): Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2152 ISBN 3-540-42525-X [ contents ]

- TPHOLs 2001 Home Page

13. TPHOLs 2000: Portland, Oregon, USA

• 
  Mark Aagaard, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1869 ISBN 3-540-67863-8 [ contents ]

12. TPHOLs 1999: Nice, France

• 
  Yves Bertot, Gilles Dowek, André Hirschowitz, C. Paulin, Laurent Théry (Eds.): Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science 1690 ISBN 3-540-66463-7 [ contents ]

- TPHOLs 1999 Home Page

11. TPHOLs 1998: Canberra, Australia

• 
  Jim Grundy, Malcolm C. Newey (Eds.): Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1479 ISBN 3-540-64987-5 [ contents ]

10. TPHOLs 1997: Murray Hill, NJ, USA

• 
  Elsa L. Gunter, Amy P. Felty (Eds.): Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science 1275 ISBN 3-540-63379-0 [ contents ]

9. TPHOLs 1996: Turku, Finland

• 
  Joakim von Wright, Jim Grundy, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science 1125 ISBN 3-540-61587-3 [ contents ]

8. TPHOLs 1995: Aspen Grove, UT, USA

• 
  E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss (Eds.): Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Springer 1995 Lecture Notes in Computer Science 971 ISBN 3-540-60275-5 [ contents ]

7. TPHOLs 1994: Valletta, Malta

• 
  Thomas F. Melham, Juanito Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science 859 ISBN 3-540-58450-1 [ contents ]

6. HUG 1993: Vancouver, BC, Canada

• 
  Jeffrey J. Joyce, Carl-Johan H. Seger (Eds.): Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Springer 1994 Lecture Notes in Computer Science 780 ISBN 3-540-57826-9 [ contents ]

5. TPHOLs 1992: Leuven, Belgium

• 
  Luc J. M. Claesen, Michael J. C. Gordon (Eds.): Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992. North-Holland/Elsevier 1993 IFIP Transactions A-20 ISBN 0-444-89880-8 [ contents ]

4. TPHOLs 1991: Davis, CA, USA

• 
  Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley (Eds.): Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. IEEE Computer Society 1992 [ contents ]