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

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

Session I: Keynote Address

Session II

Session III A

Session III B

Session IV

Session V: Banquet Address

Session VI

Session VII

Session VIII A

Session VIII B

Session IX

Session X: Invited Talk

Grigori Mints: Proof Search Theory and Practice in the (former) USSR. 461 (Title only, no abstract or article in the proceedings)

Session XI

Session XII A

Session XII B

Session XIII

System Abstracts

Problem Sets

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