Schubert, E. Thomas - Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971, Band 971)
53,49 €
Gratis-Versand
Brand : Springer, Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 416, publicationDate : 2009-02-22, publishers : Schubert, E. Thomas, ISBN : 3540602755 ...
Ähnliche Produkte könnten Sie interessieren
| Verkauft durch | Stückpreis | Lieferung | Gesamtpreis | |
|---|---|---|---|---|
| MEDIMOPS | 53,49 € | Gratis-Versand | 53,49 € |