Symbolic Logic and Mechanical Theorem Proving
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 1973
Book Details
- Book Quality:
- Publisher Quality
- Book Size:
- 331 Pages
- ISBN-13:
- 9780080917283
- Related ISBNs:
- 9780121703509, 9781493300242, 9780121703509, 9781493300242
- Publisher:
- Academic Press
- Date of Addition:
- 04/16/21
- Copyrighted By:
- Elsevier Science & Technology
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Chin-Liang Chang
- by Richard Char-Tung Lee
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics