Articoli correlati a Automated Reasoning: Introduction and Applications/Book...
Sinossi
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
- LinguaInglese
- Numero di pagine656
Risultati della ricerca per Automated Reasoning: Introduction and Applications/Book...
Foto dell'editore
Automated Reasoning: Introduction and Applications/Book & Disk
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_379575447
Quantità: 1 disponibili
Foto dell'editore
Automated Reasoning: Introduction and Applications
Editore:
McGraw-Hill Companies, 1992
ISBN 10: 007911251X
ISBN 13: 9780079112514
Antico o usato
Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.65. Codice articolo G007911251XI3N00
Quantità: 1 disponibili
Foto dell'editore
Automated Reasoning: Introduction & Applications, 2nd Edition
Da: BookDepart, Shepherdstown, WV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: UsedVeryGood. Hardcover, 2nd edition, with sealed software; light fading, scuffing to exterior; small tear at top end of spine; in very good condition with clean text, firm binding. No dust jacket. Codice articolo 37450
Quantità: 1 disponibili
Foto dell'editore
Automated Reasoning: Introduction and Applications/Book & Disk
Da: PAPER CAVALIER UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block. Codice articolo 9780079112514-3
Quantità: 1 disponibili
Foto dell'editore
Automated Reasoning: Introduction and Applications/Book & Disk
Da: dsmbooks, Liverpool, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Good. Good. book. Codice articolo D7S9-1-M-007911251X-3
Quantità: 1 disponibili