Conference on Automated Deduction (5th 1980 Les Arcs, Savoie, France)

• 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980