Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Uwe Egly
Themen in »Automated Reasoning with Analytic Tableaux and Related Methods«
AI Logics Automated Deduction Automated Reasoning Formal Verification Linear Logics Mathematical Logics Modal Logics Resolution Tableaux Methods algorithms fuzzy logic knowledge logic optimization semantics
Stimmen zu »Automated Reasoning with Analytic Tableaux and Related Methods«
Details
ISBN: 9783540456162
Verlag: Springer Berlin
Erscheinung: 02.08.2003