dblp.uni-trier.de www.uni-trier.de

First Order Theorem Proving (FTP)

4. IJCAR 2008: Sydney, NSW, Australia

Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.): Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Lecture Notes in Computer Science 5195 Springer 2008, ISBN 978-3-540-71069-1
Contents BibTeX

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. Lecture Notes in Computer Science 4130 Springer 2006, ISBN 3-540-37187-7
Contents BibTeX

6. FTP / 2. IJCAR 2004: Cork, County Cork, Ireland

David A. Basin, Michaël Rusinowitch (Eds.): Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Lecture Notes in Computer Science 3097 Springer 2004, ISBN 3-540-22345-2
Contents BibTeX - IJCAR 2004 Home Page

5. FTP 2003: Valencia, Spain

FTP 2003 Home Page

4. FTP 2001: Siena, Italy

FTP 2001 is fusioned into IJCAR 2001

Rajeev Goré, Alexander Leitsch, Tobias Nipkow (Eds.): Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Lecture Notes in Computer Science 2083 Springer 2001, ISBN 3-540-42254-4
Contents BibTeX

3. FTP 2000: St Andrews, Scotland, UK

FTP 2000 Home Page

2. FTP 1998: Schloss Wilhelminenberg, Vienna, Austria

FTP 1998 Home Page

Ricardo Caferra, Gernot Salzer (Eds.): Automated Deduction in Classical and Non-Classical Logics, Selected Papers. Lecture Notes in Computer Science 1761 Springer 2000, ISBN 3-540-67190-0
Contents BibTeX

1. FTP 1997: Schloss Hagenberg, Austria

FTP 1997 Home Page

Copyright © Sat May 16 23:13:00 2009 by Michael Ley (ley@uni-trier.de)