| 5th Conference on Automated Deduction. Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science Vol. 87) |
|
|
|
Kategorie: Computer
ISBN: 3540100091 | Produktbeurteilungen: 
Dieses Produkt beurteilen |
|
5th Conference on Automated Deduction. Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science Vol. 87)
W. Bibel, R. Kowalsk, Erschienen 1998 Springer-Verlag Berlin Heidelberg, Broschiert
[3540100091]
Lesen Sie mehr über diesen Titel...
|
|
| Anbieter: Amazon Preisinformation und Bestellung |
|
