Da: preigu, Osnabrück, Germania
EUR 95,70
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 9th International Conference on Automated Deduction | Argonne, Illinois, USA, May 23-26, 1988. Proceedings | Ewing Lusk (u. a.) | Taschenbuch | x | Englisch | 1988 | Springer | EAN 9783540193432 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.