Title: 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984
Subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic, Logic machines