Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Roy Dyckhoff
Themen in »Automated Reasoning with Analytic Tableaux and Related Methods«
AI Logics Automat Automated Deduction Formal Verification Logic Reason Calculi Mathematical Logics Modal Logics Tableaux Methods Theorem Proving automated reasoning
Stimmen zu »Automated Reasoning with Analytic Tableaux and Related Methods«
Details
ISBN: 9783540450085
Verlag: Springer Berlin
Erscheinung: 30.12.2006