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 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.

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: 10
Seller
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Elsevier Science Publishing Co Inc, United States, 1997. Hardback. Book Condition: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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 # EOD9780121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
43.34
Convert Currency

Add to Basket

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

2.

Chin-Liang Chang, Richard Char-Tung Lee
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
46.70
Convert Currency

Add to Basket

Shipping: 3.06
Within 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
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: 10.01
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Chin-Liang Chang
Published by Academic Press 1973-06-11 (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 1
Seller
Lost Books
(AUSTIN, TX, U.S.A.)
Rating
[?]

Book Description Academic Press 1973-06-11, 1973. Hardcover. Book Condition: New. 0121703509. Bookseller Inventory # 520932

More Information About This Seller | Ask Bookseller a Question

Buy New
47.44
Convert Currency

Add to Basket

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

5.

CHANG, CHIN-LIANG; LEE, RICHARD
Published by Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 10
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: 8
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

CHANG, CHIN-LIANG; LEE, RICHARD
Published by Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 10
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: 8
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

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. 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 # AAU9780121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
53.81
Convert Currency

Add to Basket

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

8.

Chin-Liang Chang, Richard Char-Tung Lee
Published by Elsevier Science Publishing Co Inc, United States (1973)
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, 1973. Hardback. Book Condition: New. 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 # AAU9780121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
55.41
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
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: 3
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Chin-Liang Chang, Richard Char-Tung Lee
Published by Elsevier Science Publishing Co Inc
ISBN 10: 0121703509 ISBN 13: 9780121703509
New Hardcover Quantity Available: 2
Seller
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description Elsevier Science Publishing Co Inc. Hardback. Book Condition: new. BRAND NEW, Symbolic Logic and Mechanical Theorem Proving, Chin-Liang Chang, Richard Char-Tung Lee, 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. Bookseller Inventory # B9780121703509

More Information About This Seller | Ask Bookseller a Question

Buy New
53.30
Convert Currency

Add to Basket

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

There are more copies of this book

View all search results for this book