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
Tuesday Morning
Tuesday Afternoon
Wednesday Morning
Thursday Morning
Thursday Afternoon
Friday Morning
Friday Afternoon
Last update Wed May 22 20:02:09 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page