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

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

Session 1: Invited Lecture

Session 2

Session 3: System Descriptions

Session 4

Session 5

Session 6

Session 7: Invited Lecture

Session 8

Session 9: System Descriptions

Session 10

Session 11

Session 12

Session 13: System Descriptions

Session 14

Copyright © Mon Nov 9 23:11:37 2009 by Michael Ley (ley@uni-trier.de)