| 9th International Conference on Automated Deduction. Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science Vol. 310) |
|
|
|
Kategorie: Computer
ISBN: 354019343X | Produktbeurteilungen: 
Dieses Produkt beurteilen |
|
9th International Conference on Automated Deduction. Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science Vol. 310)
Ewing Lusk, Ross Overbee, Erschienen 1988 Springer-Verlag Berlin Heidelberg, Broschiert
[354019343X]
Lesen Sie mehr über diesen Titel...
|
|
| Anbieter: Amazon Preisinformation und Bestellung |
|
