Title: 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic, De monstration the ore  me, De monstration automatique, Démonstration automatique, Démonstration théorème, AUTOMATION, THEOREM PROVING, CONFERENCES