Error title
Some error text about your books and stuff.
Close
Symbolic Logic and Mechanical Theorem Proving cover
  • 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
used Add to Cart $3.28
You save: 96%
Marketplace Item
new Add to Cart $62.01
You save: 15%
FREE economy shipping!
License: 30 days
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  
Hippo Books

Location: Toledo, OH
Good
Spine creases, wear to binding and pages from reading. May contain limited
[...]
$3.28
HPB-Dallas

Location: Dallas, TX
Acceptable
Shipping Icon
Item is intact, but may show shelf wear. Pages may include notes and
[...]
$4.98
More Than Words

Location: Waltham, MA
Good
A sound copy with only light wear. Overall a solid copy at a great price! All
[...]
$5.61
treeoflife_books

Location: Marion, IN
Good
Shipping Icon
Ships same or next business day with delivery confirmation. Good condition. May or may not contain highlighting. Expedited shipping available.
$8.96
treeoflife_books

Location: Marion, IN
Acceptable
Shipping Icon
Ships same or next business day with delivery confirmation. Acceptable condition. Contains highlighting. Expedited shipping available.
$8.96
Powell's Books Chicago

Location: Chicago, IL
Very Good
1973. 1st Edition. Hardcover. Cloth. 8vo. xiii and 331 pp. Very Good. Very Good.
$22.50
treeoflife_books

Location: Marion, IN
Very Good
Shipping Icon
Ships same or next business day with delivery confirmation. Used-Very Good Expedited shipping available.
$24.15
Big Star Books & Music

Location: santa Fe, NM
Very Good
Shipping Icon
Hardcover, no jacket. Clean, unmarked, tightly bound. Light wear. University sticker. Photos available.
$25.25
treeoflife_books

Location: Marion, IN
Acceptable
Shipping Icon
Minor water damage on pages. Cover separating from spine and reinforced with
[...]
$28.92
Found Books

Location: AUSTIN, TX
Good
0121703509.
$50.62
Ables Bookstore

Location: chattanooga, TN
Good
Shipping Icon
$51.08
PASCALE'S BOOKS

Location: NORTH READING, MA
Like New
Shipping Icon
8vo-over 7¾"-9¾" tall. 331 pages. "Artifical intelligence is a relatively
[...]
$56.25