Title:
Symposium on Automatic Demonstration
Author:
Symposıum on Automatic Demonstration, (1968 : Versailles)
Conference Author:
Publication Information:
Berlin ; New York : Springer-Verlag, 1970.
Physical Description:
310 s.
Series:
Lecture notes in mathematics ; no : 125
Series Title:
Lecture notes in mathematics ; no : 125
Subject Term:
Added Author:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/12/573846 | Q 335 S6 1970 | Searching... | Searching... |