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

4.33 avg rating
( 3 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 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.

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

From the Back Cover:

Mechanical theorem proving is an important subject in artificial intelligence. It has been applied to many areas--program analysis, program synthesis, deductive question-answering systems, problem-solving systems, and robot technology.
This classic text provides a thorough discussion of mechanical theorem proving and its applications as well as an introduction to symbolic logic. A purely model-theoretic approach to first-order logic is adopted, and the book emphasizes efficient computer implementations of proof techniques.
Appropriate for both undergraduates and graduate courses in theorem proving, this text is also suitable as a supplementary textbook in artificial intelligence to provide the student with a background in mechanical theorem proving and application areas.

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

Buy New View Book
List Price: US$ 72.95
US$ 54.72

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Chang, Chin-Liang; Lee, Richard Char-Tung
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
US$ 54.72
Convert Currency

Add to Basket

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

2.

Chang, Chin-Liang; Lee, Richard Char-Tung
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
US$ 60.28
Convert Currency

Add to Basket

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

3.

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
US$ 60.31
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

4.

Chang, Chin-Liang; Lee, Richard Char-Tung
Published by Academic Pr (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
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
US$ 54.04
Convert Currency

Add to Basket

Shipping: US$ 7.36
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

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
US$ 50.51
Convert Currency

Add to Basket

Shipping: US$ 12.33
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Chang, Chin-Liang; Lee, Richard Char-Tung
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
US$ 55.56
Convert Currency

Add to Basket

Shipping: US$ 9.81
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Chang, Chin-Liang; Lee, Richard Char-Tung
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
US$ 55.56
Convert Currency

Add to Basket

Shipping: US$ 9.86
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Chang, Chin-Liang; Lee, Richard Char-Tung
Published by Academic Press
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
Seller
Cloud 9 Books
(West Palm Beach, FL, U.S.A.)
Rating
[?]

Book Description Academic Press. Hardcover. Book Condition: New. 0121703509 New Condition. Bookseller Inventory # NEW6.0040010

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 60.50
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

9.

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

Book Description Academic Press, 1973. Book Condition: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: 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 # ABE_book_new_0121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.76
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
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
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Academic Press, 1973. Hardcover. Book Condition: New. 1. Bookseller Inventory # DADAX0121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 65.79
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book