Error title
Some error text about your books and stuff.
Close

Symbolic Logic and Mechanical Theorem Proving

by Chin-Liang Chang

  • ISBN: 9780121703509
  • ISBN10: 0121703509

Symbolic Logic and Mechanical Theorem Proving

by Chin-Liang Chang

  • List Price: $72.95
  • Binding: Hardcover
  • Publisher: Lightning Source Inc
  • Publish date: 06/01/1973
  • ISBN: 9780121703509
  • ISBN10: 0121703509
used Add to Cart $2.81
You save: 96%
Marketplace Item
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
new Add to Cart $63.59
You save: 13%
FREE economy shipping!
Description: This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4b"9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Expand description
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller Condition Comments Price  
Seller: Owls Books
Location: Toledo, OH
Condition: Acceptable
Noticeably used book. Text is legible but may be soiled and have binding
[...]
Price:
$2.81
Comments:
Noticeably used book. Text is legible but may be soiled and have binding
[...]
Seller: Birchwoods Books
Location: ROCHESTER, NH
Condition: Good
Shipping Icon
The cover has visible markings and wear. The dust jacket shows normal wear
[...]
Price:
$5.61
Comments:
The cover has visible markings and wear. The dust jacket shows normal wear
[...]
Seller: Ergodebooks
Location: Houston,, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$7.08
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Lost City Books
Location: Washington, DC
Condition: Very Good
Very good condition. Some minor shelf and browsing wear which does not
[...]
Price:
$15.75
Comments:
Very good condition. Some minor shelf and browsing wear which does not
[...]
Seller: SurplusTextSeller
Location: Columbia, MO
Condition: Good
Ships in a BOX from Central Missouri! May not include working access code.
[...]
Price:
$35.66
Comments:
Ships in a BOX from Central Missouri! May not include working access code.
[...]
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).