Automated Reasoning: Introduction and Applications/Book & Disk

Wos, Larry

ISBN 10: 007911251X / ISBN 13: 9780079112514

Editore: McGraw-Hill, 1992

Riguardo questo articolo

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

Dati bibliografici

Titolo: Automated Reasoning: Introduction and ...

Casa editrice: McGraw-Hill

Data di pubblicazione: 1992

Legatura: hardcover

Condizione: Good

Descrizione articolo

Riassunto:

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.

Product Description:

Book by Wos Larry