Suchresultat
Automated Reasoning with Analytic Tableaux and Related Methods
Englisch
01.01.2003
Taschenbuch
Fr. 70.00
Graph Structures for Knowledge Representation and Reasoning
Englisch
01.01.2018
Taschenbuch
Fr. 59.50
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Englisch
01.01.2018
Fester Einband
Fr. 158.00
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Englisch
01.01.2016
Taschenbuch
Fr. 135.00