Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Harrie de Swart
Themen in »Automated Reasoning with Analytic Tableaux and Related Methods«
Resolution Variable automated deduction automated reasoning automated theorem proving complexity inference engine knowledge knowledge representation logic mathematics parallelism proving theorem proving verification
Stimmen zu »Automated Reasoning with Analytic Tableaux and Related Methods«
Details
ISBN: 9783540644064
Verlag: Springer Berlin
Erscheinung: 22.04.1998