Symposium on Automatic Demonstration/ edited by M. Laudet ... [and others].
Series: Lecture notes in mathematics (Springer-Verlag) ; 125.Publication details: Berlin; New York: Springer-Verlag, 1970.Description: 310 p.; 26 cmSubject(s): DDC classification:- 164
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Coleções de Monografias (Monographs Collections) | 1 | Available | 39063000226525 |
English or French.
Includes bibliographies.
There are no comments on this title.