Symposium on Automatic Demonstration;
Publisher: Springer-Verlag
Published: 1970-01-01