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

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

Monday Morning

Monday Afternoon

Tuesday Morning

Tuesday Evening

Wednesday Morning

Wednesday Afternoon

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