Andere Kunden interessierten sich auch für
![Resolution Methods for the Decision Problem]( "Resolution Methods for the Decision Problem")
Resolution Methods for the Decision Problem42,99 €![Term Indexing]( "Term Indexing")
Term Indexing42,99 €![Automated Reasoning with Analytic Tableaux and Related Methods]( "Automated Reasoning with Analytic Tableaux and Related Methods")
Automated Reasoning with Analytic Tableaux and Related Methods42,99 €![Higher-Order Algebra, Logic, and Term Rewriting]( "Higher-Order Algebra, Logic, and Term Rewriting")
Higher-Order Algebra, Logic, and Term Rewriting42,99 €![Theorem Proving with Analytic Tableaux and Related Methods]( "Theorem Proving with Analytic Tableaux and Related Methods")
Theorem Proving with Analytic Tableaux and Related Methods42,99 €![A Resolution Principle for a Logic with Restricted Quantifiers]( "A Resolution Principle for a Logic with Restricted Quantifiers")
A Resolution Principle for a Logic with Restricted Quantifiers42,99 €![Fundamentals of Artificial Intelligence Research]( "Fundamentals of Artificial Intelligence Research")
Fundamentals of Artificial Intelligence Research42,99 €
