Automated Reasoning: Introduction and Applications

Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle

ISBN 10: 0130544469 ISBN 13: 9780130544469
Editore: Prentice-Hall, 1984
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da Wonder Book, Frederick, MD, U.S.A.

Membro dell'associazione:

Heritage Bookseller
Venditore AbeBooks dal 1 novembre 1997

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 5,85
Spedizione gratuita
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello