Items related to Automated Reasoning: Introduction and Applications/Book...
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.
- PublisherMcGraw-Hill
- Publication date1992
- ISBN 10 007911251X
- ISBN 13 9780079112514
- BindingHardcover
- LanguageEnglish
- Number of pages656
Search results for Automated Reasoning: Introduction and Applications/Book...
Stock Image
Automated Reasoning: Introduction and Applications
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 2.65. Seller Inventory # G007911251XI3N00
Quantity: 1 available
Stock Image
Automated Reasoning: Introduction and Applications/Book & Disk
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: 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! Seller Inventory # S_379575447
Quantity: 1 available
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
Quantity: 1 available
Stock Image
Automated Reasoning: Introduction and Applications/Book & Disk
Seller: PAPER CAVALIER UK, London, United Kingdom
Seller rating 5 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
Quantity: 1 available
Stock Image
Automated Reasoning: Introduction and Applications/Book & Disk
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Good. Good. book. Seller Inventory # D7S9-1-M-007911251X-3
Quantity: 1 available