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.25
You save: 97%
Marketplace Item
new Add to Cart $62.01
You save: 15%
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
Seller Condition Comments Price  
Seller: Indiana Book Company
Location: Marion, IN
Condition: Very Good
Shipping Icon
Ships same or next business day with delivery confirmation. Used-Very Good Expedited shipping available.
Price:
$2.25
Comments:
Ships same or next business day with delivery confirmation. Used-Very Good Expedited shipping available.
Seller: Indiana Book Company
Location: Marion, IN
Condition: Good
Shipping Icon
Ships same or next business day with delivery confirmation. Good condition. May or may not contain highlighting. Expedited shipping available.
Price:
$2.25
Comments:
Ships same or next business day with delivery confirmation. Good condition. May or may not contain highlighting. Expedited shipping available.
Seller: Indiana Book Company
Location: Marion, IN
Condition: Acceptable
Shipping Icon
Minor water damage on pages. Cover separating from spine and reinforced with
[...]
Price:
$2.25
Comments:
Minor water damage on pages. Cover separating from spine and reinforced with
[...]
Seller: HPB-Dallas
Location: Dallas, TX
Condition: Good
Shipping Icon
Item may show signs of shelf wear. Pages may include limited notes and
[...]
Price:
$3.08
Comments:
Item may show signs of shelf wear. Pages may include limited notes and
[...]
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$7.86
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: BookHolders
Location: College Park, MD Ask seller a question
Condition: Very Good
[ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: SOME ] [ Edition: first ]
Price:
$12.56
Comments:
[ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: SOME ] [ Edition: first ]
Seller: BookHolders
Location: College Park, MD Ask seller a question
Condition: Very Good
[ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: first ]
Price:
$12.65
Comments:
[ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: first ]
Seller: FastBooks100
Location: Franklin, TN Ask seller a question
Condition: Good
Price:
$20.95
Comments:
Seller: Found Books
Location: AUSTIN, TX
Condition: Good
0121703509.
Price:
$28.12
Comments:
0121703509.
Seller: PASCALE'S BOOKS
Location: NORTH READING, MA
Condition: Like New
Shipping Icon
8vo-over 7¾"-9¾" tall. 331 pages. "Artifical intelligence is a relatively
[...]
Price:
$45.00
Comments:
8vo-over 7¾"-9¾" tall. 331 pages. "Artifical intelligence is a relatively
[...]
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: ).