Mathematical Problems from Applied Logic II
Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev
Inbunden, 2007
1 084 kr
Second-order Quantifier Elimination
Foundations, Computational Aspects and Applications
AvDov Gabbay,Renate A. Schmidt
Häftad, Engelska, 2008
Del i serien Studies in Logic: Mathematical Logic and Foundations
293 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Mathematical Problems from Applied Logic II
Michael Zakharyaschev, Sergei Goncharov, Dov Gabbay
E-bok
20071 416 kr
Del 1
Handbook of Temporal Reasoning in Artificial Intelligence
Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M. Gabbay, Lluis Vila
Inbunden, 2005
3 397 kr
Mathematical Problems from Applied Logic II
Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev
Häftad, 2010
1 084 kr
Analysis of Concepts and States in Talmudic Reasoning
Michael Abraham, Israel Belfer, Dov Gabbay
Inbunden, 2014
333 kr
Handbook of Deontic Logic and Normative Systems
Dov Gabbay, John Horty, Xavier Parent
Inbunden, 2013
409 kr
Hoppa över listan
Du kanske också är intresserad av
Del 14740
Del 10501
Automated Reasoning with Analytic Tableaux and Related Methods
Renate A. Schmidt, Cláudia Nalon
Häftad, 2017
728 kr
Del 14739
Automated Reasoning with Analytic Tableaux and Related Methods
Claudia Nalon, Renate A. Schmidt
E-bok
2017896 kr
Knowledge Representation Techniques
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Inbunden, 2006
2 161 kr
Mathematical Foundations of Computer Science 1996
Wojciech Penczek, Andrzej Szalas
Häftad, 1996
1 116 kr
Del 65