Opening book details…
Can I read Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) on EtoBox?
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) by Chin-Liang Chang and Richard Char-Tung Lee (Auth.) is a nonfiction available to read on EtoBox.
What is Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) about?
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.
Who reads Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Chin-Liang Chang and Richard Char-Tung Lee (Auth.)
- Publisher
- Elsevier Science & Technology Books
- Published
- 1973
- Language
- EN
- ISBN
- 9781493300242
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Philosophy
More by Chin-Liang Chang and Richard Char-Tung Lee (Auth.)
Browse all works by Chin-Liang Chang and Richard Char-Tung Lee (Auth.)
Similar books
- First-Order Logic and Automated Theorem Proving (Texts in Computer Science) — Melvin Fitting (auth.) (1996)
- Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series) — Jean H. Gallier (1986)
- A Computational Logic Handbook : Formerly Notes and Reports in Computer Science and Applied Mathematics — Robert S. Boyer; J Strother Moore; Werner Rheinboldt; Daniel Siewiorek (1988)
- Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS)) — Uwe Schöning (auth.) (2008)
- Introduction to HOL : a Theorem Proving Environment for Higher Order Logic — Gordon M.J. C., Melham T.F. (1993)
- Automated Theorem Proving : Theory and Practice — Monty Newborn (auth.) (2001)