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

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

Invited Lecture

Session 1A

Session 1B

Session 2A

Session 2B

Session 3A

Session 3B

Invited Lecture

Session 4A

Session 4B

Session 5A

Session 5B

Session 6A

Session 6B

Session 7A

Session 7B

Session 8A

Session 8B

Session 9A

Session 9B

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