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: |
| Item Description: | Textes in english and french |
|---|---|
| Physical Description: | 310 p. ; 25 cm. |
| Bibliography: | Includes bibliographical references (p. 309-310) |