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

5. CADE 1980: Les Arcs, France

Wolfgang Bibel, Robert A. Kowalski (Eds.): 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Lecture Notes in Computer Science 87 Springer 1980, ISBN 3-540-10009-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Tuesday Morning

Tuesday Afternoon

Wednesday Morning

Thursday Morning

Thursday Afternoon

Friday Morning

Friday Afternoon

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