Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Bernhard Beckert
Themen in »Automated Reasoning with Analytic Tableaux and Related Methods«
Automat automated reasoning knowledge engineering proving semantic web software verification theorem proving verification
Stimmen zu »Automated Reasoning with Analytic Tableaux and Related Methods«
Details
ISBN: 9783540318224
Verlag: Springer Berlin
Erscheinung: 14.09.2005