Error title

Some error text about your books and stuff.

Symbolic Logic and Mechanical Theorem Proving

by Chin-Liang Chang

ISBN: 9780121703509
ISBN10: 0121703509

Sell your book

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 $17.63

You save: 76%

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

All (7)

Seller

Condition

Comments

Price

Seller: grandisbooks

★

Location: Neptune, NJ

Condition:

More than average wear and tear, but item is usable.

Price:

$17.63

Add to Cart

Comments:

More than average wear and tear, but item is usable.

Seller: Dolfboy

★

Location: Rochester, NH

Condition:
Shipping Icon

The cover has visible markings and wear. The dust jacket has minor damage or

[...]

Price:

$17.68

Add to Cart

Comments:

The cover has visible markings and wear. The dust jacket has minor damage or

[...]

Seller: WonderBook

★

Location: Frederick, MD

Condition:

Good condition. A copy that has been read but remains intact. May contain markings such as bookplates stamps limited notes and highlighting or a few light stains.

Price:

$18.82

Add to Cart

Comments:

Good condition. A copy that has been read but remains intact. May contain markings such as bookplates stamps limited notes and highlighting or a few light stains.

Seller: Wonder Book - Member ABAA/ILAB

★

Location: Frederick, MD

Condition:

Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.

Price:

$22.30

Add to Cart

Comments:

Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.

Seller: Ergodebooks

★

Location: Richmond, TX

Condition:

Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.

Price:

$26.66

Add to Cart

Comments:

Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.

Seller: Found Books

★

Location: AUSTIN, TX

Condition:

0121703509.

Price:

$46.12

Add to Cart

Comments:

0121703509.

Seller: SurplusTextSeller

★

Location: Columbia, MO

Condition:

Ships same day or next business day! UPS shipping available (Priority Mail

[...]

Price:

$57.47

Add to Cart

Comments:

Ships same day or next business day! UPS shipping available (Priority Mail

[...]

Please Wait

Error title

Symbolic Logic and Mechanical Theorem Proving

by Chin-Liang Chang

Symbolic Logic and Mechanical Theorem Proving

by Chin-Liang Chang

Notify Me When Available