Title: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic