Symposium on automatic demonstration : held at Versailles/ France, December 1968 /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English French |
| Published: |
Berlin Heidelberg New York :
Springer,
1970
|
| Series: | Lecture Notes in Mathematics / Springer-Verlag ;
125 |
| Subjects: |