Synopsis
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.
Search results for Automated Reasoning: Introduction and Applications/Book...
Stock Image
Automated Reasoning: Introduction & Applications, 2nd Edition
Seller: BookDepart, Shepherdstown, WV, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: 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. Seller Inventory # 37450
Stock Image
Automated Reasoning: Introduction and Applications/Book & Disk
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G007911251XI3N00
Stock Image
Automated Reasoning: Introduction and Applications/Book & Disk
Seller: PAPER CAVALIER UK, London, United Kingdom
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 9780079112514-3
Buy Used
US$ 51.86
Shipping:
US$ 8.00
From United Kingdom to U.S.A.
Quantity: 1 available