Automated Reasoning with Analytic Tableaux and Related Methods Nicola Olivetti
Titel: Automated Reasoning with Analytic Tableaux and Related Methods, Untertitel: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings, Einband: Taschenbuch, Autor: Nicola Olivetti, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 260, Maße: 235x155x15 mm, Gewicht: 400 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik Semantic Web World Wide Web / Semantic Web AI logics Conditional Logics Erfüllbarkeitsproblem der Aussagenlogik Knowledge bases Logic Programming automated deduction automated reasoning description logics formal verification logic model checking model elimination nonmonotonic reasoning object oriented design proof theory.
Jetzt bei Ebay:
