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

You save: 98%

Marketplace Item

new Add to Cart $62.01

You save: 15%

FREE economy shipping!

ebook Buy $29.58

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

Seller: BookHolders

★

Location: College Park, MD

Condition:

[ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: first ]

Price:

$1.15

Add to Cart

Comments:

[ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: first ]

Seller: Indiana Book Company

★

Location: Marion, IN

Condition:
Shipping Icon

Ships same or next business day with delivery confirmation. Good condition. May or may not contain highlighting. Expedited shipping available.

Price:

$1.77

Add to Cart

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:
Shipping Icon

Minor water damage on pages. Cover separating from spine and reinforced with

[...]

Price:

$1.77

Add to Cart

Comments:

Minor water damage on pages. Cover separating from spine and reinforced with

[...]

Seller: HPB-Blue

★

Location: Dallas, TX

Condition:
Shipping Icon

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

[...]

Price:

$7.30

Add to Cart

Comments:

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

[...]

Seller: Ergodebooks

★

Location: Richmond, TX

Condition:

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

Price:

$7.86

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:

$23.62

Add to Cart

Comments:

0121703509.

Seller: readmybooks

★

Location: Artesia, CA

Condition:

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

[...]

Price:

$25.45

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:

$27.03

Add to Cart

Comments:

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

[...]

Seller: PASCALE'S BOOKS

★

Location: NORTH READING, MA

Condition:
Shipping Icon

8vo-over 7Â¾"-9Â¾" tall. 331 pages. "Artifical intelligence is a relatively

[...]

Price:

$45.00

Add to Cart

Comments:

8vo-over 7Â¾"-9Â¾" tall. 331 pages. "Artifical intelligence is a relatively

[...]

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