Title: Symposium on Automatic Demonstration
First published: 1970
Subjects: Congresses, Automatic theorem proving
LC classification: Q335 S85 1968