Title: Symposium on Automatic Demonstration
Subjects: Automatic theorem proving, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations