Description: Symbolic Logic and Mechanical Theorem Proving (Computer Science and Appli - GOOD Product Id:0121703509 Condition:USED_GOOD Notes:Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
Price: 14.88 USD
Location: Montgomery, Illinois
End Time: 2024-10-08T05:25:23.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Brand: Unbranded
Book Title: Symbolic Logic and Mechanical Theorem Proving (Computer Science
MPN: Does not apply
Number of Pages: 331 Pages
Language: English
Publication Name: Symbolic Logic and Mechanical Theorem Proving
Publisher: Elsevier Science & Technology
Subject: Programming / Algorithms, Intelligence (Ai) & Semantics, Logic, Discrete Mathematics
Item Height: 0.4 in
Publication Year: 1973
Item Weight: 24.5 Oz
Type: Textbook
Author: Richard Char-Tung Lee, Chin-Liang Chang
Subject Area: Mathematics, Computers
Item Length: 9 in
Item Width: 6 in
Format: Hardcover
