Articoli correlati a Automated Reasoning: Introduction and Applications/Book...
For mathematicians, engineers, computer scientists, and logicians, explains how to use automated reasoning to solve problems in mathematics research, formal logic, circuit design and validation, real-time control, and program debugging and verification. About 30% of the material is different than the 1984 first edition. Includes an automated reasoning program, OTTER, on a 5<1/2>" diskette for an IBM compatible personal computer. Annotation copyright Book News, Inc. Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description:
Book by Wos Larry
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreMcGraw-Hill
- Data di pubblicazione1992
- ISBN 10 007911251X
- ISBN 13 9780079112514
- RilegaturaCopertina rigida
- Numero di pagine656
Compra nuovo
Scopri di più su questo articolo
EUR 237,15
Spese di spedizione:
EUR 3,95
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Automated Reasoning: Introduction and Applications/Book Disk
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: new. New Copy. Customer Service Guaranteed. Codice articolo think007911251X
Compra nuovo
EUR 237,15
Convertire valuta
Foto dell'editore
Automated Reasoning: Introduction and Applications/Book Disk
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: new. New. Fast Shipping and good customer service. Codice articolo Holz_New_007911251X
Compra nuovo
EUR 240,08
Convertire valuta