Mathematical Problems from Applied Logic II
Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev
Inbunden
1 064 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
287 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
Handbook of Temporal Reasoning in Artificial Intelligence
Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M. Gabbay, Lluis Vila
Inbunden
3 325 kr
Mathematical Problems from Applied Logic II
Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev
Häftad
1 064 kr
Analysis of Concepts and States in Talmudic Reasoning
Michael Abraham, Israel Belfer, Dov Gabbay
Inbunden
327 kr
Hoppa över listan
Du kanske också är intresserad av
Automated Reasoning with Analytic Tableaux and Related Methods
Renate A. Schmidt, Cláudia Nalon
Häftad
715 kr
- Signerad!
- Nyhet
- Signerad!
- Nyhet
- Nyhet
- Nyhet
- Nyhet