Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

4.5 avg rating
( 4 ratings by GoodReads )
 
9780121703509: Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Chin-Liang Chang, Richard Char-Tung Lee
Published by Elsevier Science Publishing Co Inc, United States (1997)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Elsevier Science Publishing Co Inc, United States, 1997. Hardback. Book Condition: New. 238 x 162 mm. Language: English . Brand New Book. 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 4-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. Bookseller Inventory # AA59780121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
35.47
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

2.

Chin-Liang Chang, Richard C. Lee
Published by Elsevier 1997-11-19 (1997)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 5
Seller
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Elsevier 1997-11-19, 1997. Hardcover. Book Condition: New. Bookseller Inventory # NU-ELS-00002089

More Information About This Seller | Ask Bookseller a Question

Buy New
32.99
Convert Currency

Add to Basket

Shipping: 2.49
Within United Kingdom
Destination, Rates & Speeds

3.

Chin-Liang Chang, Richard Char-Tung Lee
Published by Elsevier Science Publishing Co Inc, United States (1997)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Elsevier Science Publishing Co Inc, United States, 1997. Hardback. Book Condition: New. 238 x 162 mm. Language: English . Brand New Book. 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 4-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. Bookseller Inventory # AA59780121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
37.81
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

4.

Chang, Chin-Liang; Lee, Richard Char-Tung
Published by academic press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
Seller
Barney's books
(london, United Kingdom)
Rating
[?]

Book Description academic press, 1973. Hardcover. Book Condition: New. New book.Laminated boards. Still in cellophane wraps. Bookseller Inventory # ABE-13266028791

More Information About This Seller | Ask Bookseller a Question

Buy New
40
Convert Currency

Add to Basket

Shipping: 3.35
Within United Kingdom
Destination, Rates & Speeds

5.

Chin-Liang Chang/ Richard Char-Tung Lee
Published by Academic Pr (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 2
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Academic Pr, 1973. Hardcover. Book Condition: Brand New. 331 pages. 9.50x6.50x0.75 inches. In Stock. Bookseller Inventory # __0121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
42.80
Convert Currency

Add to Basket

Shipping: 2.75
Within United Kingdom
Destination, Rates & Speeds

6.

CHANG, CHIN-LIANG; LEE, RICHARD
Published by Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Academic Press, 1973. Hardback. Book Condition: NEW. 9780121703509 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0890874

More Information About This Seller | Ask Bookseller a Question

Buy New
44
Convert Currency

Add to Basket

Shipping: 3.75
Within United Kingdom
Destination, Rates & Speeds

7.

CHANG, CHIN-LIANG; LEE, RICHARD
Published by Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Academic Press, 1973. Hardback. Book Condition: NEW. 9780121703509 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE01195175

More Information About This Seller | Ask Bookseller a Question

Buy New
44
Convert Currency

Add to Basket

Shipping: 3.75
Within United Kingdom
Destination, Rates & Speeds

8.

Chang, Chin-Liang
Published by Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Quantity Available: 2
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Academic Press, 1973. HRD. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # BB-9780121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
51.42
Convert Currency

Add to Basket

Shipping: 2.80
Within United Kingdom
Destination, Rates & Speeds

9.

Chin-Liang Chang, Richard Char-Tung Lee
Published by Elsevier Science Publishing Co Inc 1973-06-15, San Diego (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: > 20
Seller
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Elsevier Science Publishing Co Inc 1973-06-15, San Diego, 1973. hardback. Book Condition: New. Bookseller Inventory # 9780121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
54.99
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

10.

Chang, Chin-Liang; Lee, Richard Char-Tung
Published by Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Academic Press, 1973. Hardcover. Book Condition: New. book. Bookseller Inventory # 0121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
50.69
Convert Currency

Add to Basket

Shipping: 5.26
From U.S.A. to United Kingdom
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book