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

International Conference on Automated Deduction (CADE)

CADE Home Page

22. CADE 2009: Montreal, Canada

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

21. CADE 2007: Bremen, Germany

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - IJCAR 2006 Home Page

20. CADE 2005: Tallinn, Estonia

Robert Nieuwenhuis (Ed.): Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings. Lecture Notes in Computer Science 3632 Springer 2005, ISBN 3-540-28005-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - IJCAR 2004 Home Page

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

19. CADE 2003: Miami Beach, Florida, USA

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

18. CADE 2002: Copenhagen, Denmark

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - CADE 2002 was be part of FLoC 2002

1. IJCAR 2001: Siena, Italy

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - IJCAR 2001 Home Page

4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)

17. CADE 2000: Pittsburgh, PA, USA

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Type-theoretic Languages: Proof search and Semantics: ENTCS 37

16. CADE 1999: Trento, Italy

Harald Ganzinger (Ed.): Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings. Lecture Notes in Computer Science 1632 Springer 1999, ISBN 3-540-66222-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - CADE 1999 Home Page

15. CADE 1998: Lindau, Germany

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Proof Search in Type-theoretic Languages: ENTCS 17

14. CADE 1997: Townsville, North Queensland, Australia

William McCune (Ed.): Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings. Lecture Notes in Computer Science 1249 Springer 1997, ISBN 3-540-63104-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

13. CADE 1996: New Brunswick, NJ, USA

Michael A. McRobbie, John K. Slaney (Eds.): Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings. Lecture Notes in Computer Science 1104 Springer 1996, ISBN 3-540-61511-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

12. CADE 1994: Nancy, France

Alan Bundy (Ed.): Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings. Lecture Notes in Computer Science 814 Springer 1994, ISBN 3-540-58156-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

11. CADE 1992: Saratoga Springs, NY, USA

Deepak Kapur (Ed.): Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings. Lecture Notes in Computer Science 607 Springer 1992, ISBN 3-540-55602-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

10. CADE 1990: Kaiserslautern, Germany

Mark E. Stickel (Ed.): 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Lecture Notes in Computer Science 449 Springer 1990, ISBN 3-540-52885-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

9. CADE 1988: Argonne, Illinois, USA

Ewing L. Lusk, Ross A. Overbeek (Eds.): 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Lecture Notes in Computer Science 310 Springer 1988, ISBN 3-540-19343-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

8. CADE 1986: Oxford, England

Jörg H. Siekmann (Ed.): 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Lecture Notes in Computer Science 230 Springer 1986, ISBN 3-540-16780-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

7. CADE 1984: Napa, California, USA

Robert E. Shostak (Ed.): 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings. Lecture Notes in Computer Science 170 Springer 1984, ISBN 3-540-96022-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

6. CADE 1982: New York, USA

Donald W. Loveland (Ed.): 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings. Lecture Notes in Computer Science 138 Springer 1982, ISBN 3-540-11558-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

5. CADE 1980: Les Arcs, France

Wolfgang Bibel, Robert A. Kowalski (Eds.): 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Lecture Notes in Computer Science 87 Springer 1980, ISBN 3-540-10009-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

4. CADE 1979: Austin, Texas, USA

3. CADE 1977: MIT, USA

2. CADE 1976: Oberwolfach, Germany

1. CADE 1974: Argonne National Laboratory, USA

IEEE Transactions on Computers 25(8)

Copyright © Mon Nov 2 20:22:41 2009 by Michael Ley (ley@uni-trier.de)