Automated reasoning: Introduction and applications
Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos
ISBN 10: 0130544531 ISBN 13: 9780130544537
Editore: Prentice-Hall, 1984
Usato
Hardcover
Da
ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 24 marzo 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01. Codice articolo G0130544531I4N01
Dati bibliografici
Titolo: Automated reasoning: Introduction and ...
Casa editrice: Prentice-Hall
Data di pubblicazione: 1984
Legatura: Hardcover
Condizione: Very Good
Condizione sovraccoperta: No Jacket
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Automated reasoning: Introduction and applications
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA82901305445313
Compra usato
EUR 95,58
EUR 28,64 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili