What do you think?
Rate this book
Automated Reasoning: Introduction and Applications/Book & Disk by Wos, Larry (1992) Hardcover
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.
Hardcover
First published March 1, 1992
3 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.