Symposium on Automatic Demonstration
Subtitle: Held at Versailles/France, Decembre 1968
Publisher: Springer
Published: Jan 01, 1970
Format: paperback
Number of pages: 320
ISBN-13: 9783540049142
Notes: Source title: Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics)