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

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

Monday Morning

Monday Afternoon

Tuesday Morning

Tuesday Afternoon

Wednesday Morning

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