Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Nicola Olivetti
Themen in »Automated Reasoning with Analytic Tableaux and Related Methods«
AI logics Erfüllbarkeitsproblem der Aussagenlogik automated deduction automated reasoning conditional logics description logics formal verification knowledge bases logic logic programming model checking model elimination nonmonotonic reasoning object oriented design proof theory
Stimmen zu »Automated Reasoning with Analytic Tableaux and Related Methods«
Details
ISBN: 9783540730989
Verlag: Springer Berlin
Erscheinung: 21.06.2007