Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Neil V. Murray
Themen in »Automated Reasoning with Analytic Tableaux and Related Methods«
Automat Automated Deduction Formal Systems Verification Logic Reasoning Calculi Tableaux Methods Theorem Proving automated reasoning formal verification knowledge representation logic verification
Stimmen zu »Automated Reasoning with Analytic Tableaux and Related Methods«
Details
ISBN: 9783540487548
Verlag: Springer Berlin
Erscheinung: 31.07.2003