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)
