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

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

Published by
Elsevier Science Publishing Co Inc, United States
(1997)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 10

Seller

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

Published by
Academic Press
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 1

Seller

Rating

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

More Information About This Seller | Ask Bookseller a Question

Published by
academic press
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 1

Seller

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

Published by
Academic Press 1973-06-11
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 1

Seller

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

Published by
Academic Press
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 10

Seller

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

Published by
Academic Press
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 10

Seller

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

Published by
Elsevier Science Publishing Co Inc, United States
(1997)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 1

Seller

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

Published by
Elsevier Science Publishing Co Inc, United States
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 1

Seller

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

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

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

Published by
Elsevier Science Publishing Co Inc

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 2

Seller

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