|
|
|
Bernhard Gramlich, Dale Miller, Uli Sattler (Eds.):
Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings.
Lecture Notes in Computer Science 7364 Springer 2012, ISBN 978-3-642-31364-6
Contents 
Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (Eds.):
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012.
CEUR Workshop Proceedings 873 CEUR-WS.org 2012
Contents
Nikolaj Bjørner, Viorica Sofronie-Stokkermans (Eds.):
Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings.
Lecture Notes in Computer Science 6803 Springer 2011, ISBN 978-3-642-22437-9
Contents
Jürgen Giesl, Reiner Hähnle (Eds.):
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
Lecture Notes in Computer Science 6173 Springer 2010, ISBN 978-3-642-14202-4
Contents
Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan (Eds.):
Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010.
CEUR Workshop Proceedings 613 CEUR-WS.org 2010
Contents
Renate A. Schmidt (Ed.):
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings.
Lecture Notes in Computer Science 5663 Springer 2009, ISBN 978-3-642-02958-5
Contents
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
Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.):
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008.
CEUR Workshop Proceedings 373 CEUR-WS.org 2008
Contents
Bernhard Beckert, Gerwin Klein (Eds.):
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008.
CEUR Workshop Proceedings 372 CEUR-WS.org 2008
Contents
Frank Pfenning (Ed.):
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings.
Lecture Notes in Computer Science 4603 Springer 2007, ISBN 978-3-540-73594-6
Contents
Geoff Sutcliffe, Josef Urban, Stephan Schulz (Eds.):
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007.
CEUR Workshop Proceedings 257 CEUR-WS.org 2007
Contents
Bernhard Beckert (Ed.):
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007.
CEUR Workshop Proceedings 259 CEUR-WS.org 2007
Contents
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
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
Ulrike Sattler (Ed.):
Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.
CEUR Workshop Proceedings 106 CEUR-WS.org 2004
Contents
Franz Baader (Ed.):
Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings.
Lecture Notes in Computer Science 2741 Springer 2003, ISBN 3-540-40559-3
Contents
Andrei Voronkov (Ed.):
Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings.
Lecture Notes in Computer Science 2392 Springer 2002, ISBN 3-540-43931-5
Contents
CADE 2002 was be part of FLoC 2002
CADE 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
4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)
David A. McAllester (Ed.):
Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings.
Lecture Notes in Computer Science 1831 Springer 2000, ISBN 3-540-67664-3
Contents
Type-theoretic Languages: Proof search and Semantics: ENTCS 37
Claude Kirchner, Hélène Kirchner (Eds.):
Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings.
Lecture Notes in Computer Science 1421 Springer 1998, ISBN 3-540-64675-2
Contents
Proof Search in Type-theoretic Languages: ENTCS 17
Data released under the ODC-BY 1.0 license — See also our legal information page