Items related to Automated Deduction in Multiple-valued Logics (International...
Automated Deduction in Multiple-valued Logics (International Series of Monographs on Computer Science) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Reiner Hahnle, University of Karlsruhe, 7500 Karlsruhe.
"About this title" may belong to another edition of this title.
- PublisherClarendon Press
- Publication date1994
- ISBN 10 0198539894
- ISBN 13 9780198539896
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages182
Buy New
View this item
US$ 240.56
Shipping:
US$ 53.68
From Germany to U.S.A.
Search results for Automated Deduction in Multiple-valued Logics (International...
Stock Image
Automated Deduction in Multiple-Valued Logics
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
No jacket. Condition: Très bon. Ancien livre de bibliothèque. Sans jaquette. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. No dust jacket. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-595-558
Quantity: 1 available
Seller Image
Automated Deduction in Multiple-Valued Logics
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. BL The first book on this subject - fully self-contained and unified approachThe author has developed here a unified approach to automated reasoning in multiple-valued logics (MVL). The book also contains complete accounts of other approaches to this prob. Seller Inventory # 594410046
Quantity: Over 20 available