Opening book details…
Can I read Automated Deduction in Multiple-valued Logics (International Series of Monographs on Computer Science, 10) on EtoBox?
Automated Deduction in Multiple-valued Logics (International Series of Monographs on Computer Science, 10) by Reiner Hähnle is a nonfiction available to read on EtoBox.
What is Automated Deduction in Multiple-valued Logics (International Series of Monographs on Computer Science, 10) about?
This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL). It is the first overview of this area, and it contains a virtually complete account of other approaches to automated reasoning in MVL. Efficient theorem proving methods in MVL are essential for many applications, however existing approaches are inadequate. Here, the author shows how automated reasoning in infinitely valued logics can be done uniformly and efficiently for the first time. Automated reasoning in non-classical logics is a key subtask of many artificial intelligence operations. Applications of MVL in particular include hardware and software verification, reasoning with incomplete or inconsistent knowledge, and natural language processing. The book will thus be a valuable resource for theoretical computer scientists, researchers, and graduate students, as well as for logicians.
Who reads Automated Deduction in Multiple-valued Logics (International Series of Monographs on Computer Science, 10)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Reiner Hähnle
- Publisher
- Clarendon Press ; Oxford University Press
- Published
- 1993
- Language
- EN
- ISBN
- 9780198539896
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Stem
More by Reiner Hähnle
Browse all works by Reiner Hähnle
Similar books
- Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science, 6803) — Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (2011)
- Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) — Frank Pfenning (auth.), Claude Kirchner, Hélène (1998)
- Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture ... Computer Science / Lecture Notes in Artific) — Larry Wos (auth.), Deepak Kapur (1992)
- Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) — Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (2000)
- Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science, 1632) — Harald Ganzinger (auth.) (1999)
- Automated Deduction - Cade-20: 20th International Conference On Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (lecture Notes In Computer Science) — Robert Nieuwenhuis (2005)