Description: Symbolic Logic and Mechanical Theorem Proving by Chang, Chin-Liang; Lee, Richard Char-Tung Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less
Price: 12.73 USD
Location: Aurora, Illinois
End Time: 2024-11-28T22:10:29.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:
Binding: Hardcover
Weight: 0 lbs
Product Group: Book
IsTextBook: Yes
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
