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

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

used Add to Cart $15.73

You save: 78%

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 $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: BookReadingInc

★

Location: Artesia, CA

Condition:
Shipping Icon

Used-Acceptable: A readable copy. Full of highlighting, marking and writing, Access codes and supplements are not included.

Price:

$15.73

Add to Cart

Comments:

Used-Acceptable: A readable copy. Full of highlighting, marking and writing, Access codes and supplements are not included.

Seller: BookReadingInc

★

Location: Artesia, CA

Condition:
Shipping Icon

Used -Good : Contain highlighting, handwriting or underlining throughout the book, Access codes and supplements are not included.

Price:

$16.41

Add to Cart

Comments:

Used -Good : Contain highlighting, handwriting or underlining throughout the book, Access codes and supplements are not included.

Seller: HPB-Red

★

Location: Dallas, TX

Condition:
Shipping Icon

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

[...]

Price:

$5.62

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:

$6.73

Add to Cart

Comments:

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

[...]

Seller: Ergodebooks

★

Location: White Haven, PA

Condition:

Buy with confidence. Excellent Customer Service & Return policy.

Price:

$6.97

Add to Cart

Comments:

Buy with confidence. Excellent Customer Service & Return policy.

Seller: readmybooks

★

Location: Artesia, CA

Condition:

IMP: Acceptable- Do not include ACCESS CODE, CD-ROM or companion materials

[...]

Price:

$15.89

Add to Cart

Comments:

IMP: Acceptable- Do not include ACCESS CODE, CD-ROM or companion materials

[...]

Seller: readmybooks

★

Location: Artesia, CA

Condition:

IMP: Used Good- Used items do not include CD-ROM, ACCESS CODE or companion

[...]

Price:

$16.57

Add to Cart

Comments:

IMP: Used Good- Used items do not include CD-ROM, ACCESS CODE or companion

[...]

Seller: Row by Row Bookshop

★

Location: Sugar Grove, NC

Condition:

An ex-library copy in black hard covers lettered in gold, with the usual

[...]

Price:

$22.50

Add to Cart

Comments:

An ex-library copy in black hard covers lettered in gold, with the usual

[...]

Seller: True Oak Books

★

Location: Highland, NY

Condition:
Shipping Icon

0121703509. Â Book is in good overall condition. No writing or major

[...]

Price:

$29.25

Add to Cart

Comments:

0121703509. Â Book is in good overall condition. No writing or major

[...]

Seller: SurplusTextSeller

★

Location: Columbia, MO

Condition:

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

[...]

Price:

$50.62

Add to Cart

Comments:

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

[...]

Seller: GridFreed

★

Location: North Las Vegas, NV

Condition:

Size: 9x6x1; New. In shrink wrap. Looks like an interesting title!

Price:

$68.80

Add to Cart

Comments:

Size: 9x6x1; New. In shrink wrap. Looks like an interesting title!

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