Error title

Some error text about your books and stuff.

Symbolic Logic and Mechanical Theorem Proving

by Chin-Liang Chang

ISBN: 9780121703509
ISBN10: 0121703509

Symbolic Logic and Mechanical Theorem Proving

by Chin-Liang Chang

Binding: Hardcover
Publisher: Lightning Source Inc
Publish date: 06/01/1973
ISBN: 9780121703509
ISBN10: 0121703509

used Add to Cart $54.81

You save: 25%

FREE shipping on orders over $79!

Product Notice

Not returnable and may come without consumable supplements like access codes, CD's, or workbooks.

new Add to Cart $82.36

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: HPB-Red

★

Location: Dallas, TX

Condition:
Shipping Icon

Connecting readers with great books since 1972! Used textbooks may not

[...]

Price:

$8.35

Add to Cart

Comments:

Connecting readers with great books since 1972! Used textbooks may not

[...]

Seller: One Planet Books

★

Location: Columbia, MO

Condition:

Ships in a BOX from Central Missouri! May not include working access code.

[...]

Price:

$8.42

Add to Cart

Comments:

Ships in a BOX from Central Missouri! May not include working access code.

[...]

Seller: Books From California

★

Location: Simi Valley, CA

Condition:

The copy shows general wear and markings, but is in otherwise clean condition. Very Clean Copy-Over 500, 000 Internet Orders Filled.

Price:

$8.43

Add to Cart

Comments:

The copy shows general wear and markings, but is in otherwise clean condition. Very Clean Copy-Over 500, 000 Internet Orders Filled.

Seller: HPB-Red

★

Location: Dallas, TX

Condition:
Shipping Icon

Connecting readers with great books since 1972. Used textbooks may not

[...]

Price:

$8.45

Add to Cart

Comments:

Connecting readers with great books since 1972. Used textbooks may not

[...]

Seller: ErgodeBooks

★

Location: Houston, TX

Condition:

Sewn binding. Cloth over boards. 331 p. Contains: Unspecified. Computer Science and Applied Mathematics.

Price:

$22.73

Add to Cart

Comments:

Sewn binding. Cloth over boards. 331 p. Contains: Unspecified. Computer Science and Applied Mathematics.

Seller: Bonita

★

Location: Santa Clarita, CA

Condition:
Shipping Icon

Access codes and supplements are not guaranteed with used items. May be an ex-library book.

Price:

$42.10

Add to Cart

Comments:

Access codes and supplements are not guaranteed with used items. May be an ex-library book.

Seller: SurplusTextSeller

★

Location: Columbia, MO

Condition:

Ships in a BOX from Central Missouri! May not include working access code.

[...]

Price:

$52.70

Add to Cart

Comments:

Ships in a BOX from Central Missouri! May not include working access code.

[...]

Seller: ErgodeBooks

★

Location: Houston, TX

Condition:

Sewn binding. Cloth over boards. 331 p. Contains: Unspecified. Computer Science and Applied Mathematics.

Price:

$80.96

Add to Cart

Comments:

Sewn binding. Cloth over boards. 331 p. Contains: Unspecified. Computer Science and Applied Mathematics.

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