Automated Deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings

International Conference on Automated Deduction 1996 New Brunswick, n; McRobbie, M. A.; Slaney, J. K.

ISBN 10: 3540615113 ISBN 13: 9783540615118
Editore: Springer, 1996
Lingua: Inglese
Condizione: Nuovo Brossura

Venduto da GreatBookPricesUK, Woodford Green, Regno Unito

Venditore AbeBooks dal 28 gennaio 2020

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Nuovi - Brossura

Condizione: Nuovo

Prezzo:
EUR 149,30
Spedizione EUR 17,46
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungere al carrello