Chang, Chin-Liang; Lee, Richard C.
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
### ISBN 13: 9780121703509

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

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

Published by
Academic Pr
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 1

Seller

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

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)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Hardcover
Quantity Available: 1

Seller

Rating

**Book Description **Academic Press, 1973. Hardback. Book Condition: NEW. 9780121703509 331pp., Hardback, 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
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. 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 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

Published by
Elsevier
(2016)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Paperback
Quantity Available: 1

Seller

Rating

**Book Description **Elsevier, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780121703509_lsuk

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

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. book. Bookseller Inventory # 0121703509

More Information About This Seller | Ask Bookseller a Question

Published by
Academic Press
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Quantity Available: > 20

Seller

Rating

**Book Description **Academic Press, 1973. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9780121703509

More Information About This Seller | Ask Bookseller a Question

Published by
Academic Press
(1973)

ISBN 10: 0121703509
ISBN 13: 9780121703509

New
Quantity Available: > 20

Seller

Rating

**Book Description **Academic Press, 1973. HRD. Book Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Bookseller Inventory # IP-9780121703509

More Information About This Seller | Ask Bookseller a Question