Symposium on Automatic Demonstration / edited by M. Laudet [and others].
| Author/creator | Symposium on Automatic Demonstration |
| Other author | Laudet, M. |
| Format | Book |
| Publication Info | Berlin, New York : Springer-Verlag, 1970. |
| Description | 310 pages ; 26 cm. |
| Subjects |
| Series | Lecture notes in mathematics, 125 Lecture notes in mathematics (Springer-Verlag) 125. ^A496146 |
| Local note | Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28. |
| General note | English or French. |
| Bibliography note | Includes bibliographies. |
| LCCN | 79117526 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA3 .L28 NO. 125 | ✔ Available | Place Hold |