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: |
| Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
|---|---|---|---|---|
| Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών | 510 LNM ISAD1968 s 1970 125 | 2 | Προβολή | OPAC |