Suchresultat
Automated Reasoning with Analytic Tableaux and Related Methods
Englisch
28.01.2010
Taschenbuch
Fr. 70.00
Processes, Terms and Cycles: Steps on the Road to Infinity
Englisch
23.12.2005
Taschenbuch
Fr. 135.00
Logic for Programming, Artificial Intelligence, and Reasoning
Englisch
19.02.2009
Taschenbuch
Fr. 135.00