• 
  Bernhard Gramlich, Dale Miller, Uli Sattler (Eds.): Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7364 ISBN 978-3-642-31364-6 [ contents ]

• 
  Jürgen Giesl, Reiner Hähnle (Eds.): Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6173 ISBN 978-3-642-14202-4 [ contents ]

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

• 
  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 ]

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

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. Springer 2001 Lecture Notes in Computer Science 2083 ISBN 3-540-42254-4 [ contents ]

• 
  FTP 1998 Home Page
• 
  Ricardo Caferra, Gernot Salzer (Eds.): Automated Deduction in Classical and Non-Classical Logics, Selected Papers. Springer 2000 Lecture Notes in Computer Science 1761 ISBN 3-540-67190-0 [ contents ]

data released under the ODC-BY 1.0 license. See also our legal information page

last updated on 2013-10-16T203152 by the dblp team