Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science)

Nieuwenhuis, Robert [Editor]

ISBN 10: 3540280057 ISBN 13: 9783540280057
Editore: Springer, 2005
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da GuthrieBooks, Spring Branch, TX, U.S.A.

Venditore AbeBooks dal 1 febbraio 2007

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

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo:
EUR 35,94
Spedizione EUR 6,10
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello