Automated Reasoning: Introduction and Applications/Book & Disk

5 avg rating
( 2 ratings by Goodreads )
 
9780079112514: Automated Reasoning: Introduction and Applications/Book & Disk
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

List Price: US$ 50.00
US$ 96.50

Convert currency

Shipping: FREE
Within U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Larry Wos
Published by Mcgraw-Hill (Tx) (1992)
ISBN 10: 007911251X ISBN 13: 9780079112514
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)

Book Description Mcgraw-Hill (Tx), 1992. Hardcover. Condition: New. 2 Har/Dis. Seller Inventory # DADAX007911251X

More information about this seller | Contact this seller

Buy New
US$ 96.50
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds