Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Nicola Olivetti

Frontiers of Combining Systems, Fachbücher

Intelligent Data Engineering and Automated Learning – IDEAL 2015, Fachbücher von Krzysztof Walkowiak, Konrad Jackowski, ...

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Martin Giese, Arild Waaler

Automated Reasoning With Analytic Tableaux And Related Methods 26th

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Anupam Das, Sara Negri

Computer Information Systems and Industrial Management, Fachbücher

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Serenella Cerrito, Andrei Popescu

Roy Dyckhoff | Automated Reasoning With Analytic Tableaux And Related

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Cláudia Nalon, Renate A. Schmidt

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Didier Galmiche, Dominique Larchey-Wendli...

Security and Trust Management, Fachbücher von Christian Damsgaard Jensen, Sjouke Mauw

Software Engineering and Formal Methods, Fachbücher

Bernhard Beckert | Automated Reasoning With Analytic Tableaux And

Case-Based Reasoning Research and Development, Fachbücher von Mirjam Minor, Eyke Hüllermeier

Logic Programming and Nonmonotonic Reasoning, Fachbücher von Miroslaw Truszczynski, Giovambattista Ianni, Francesco Cali...