Mathematical Problems from Applied Logic II
Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev
Inbunden
1 369 kr
Second-order Quantifier Elimination
Foundations, Computational Aspects and Applications
Häftad, Engelska, 2008
359 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2008-04-17
- Mått156 x 234 x 17 mm
- Vikt451 g
- FormatHäftad
- SpråkEngelska
- SerieStudies in Logic: Mathematical Logic and Foundations
- Antal sidor320
- FörlagCollege Publications
- ISBN9781904987567
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 1
Handbook of Temporal Reasoning in Artificial Intelligence
Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M. Gabbay, Lluis Vila, United Kingdom.) Fisher, Michael David (University of Liverpool, Liverpool, UK) Gabbay, Dov M. (King's College London, Spain.) Vila, Lluis (Universitat Politecnica de Catalunya, Barcelona
Inbunden
4 179 kr
Mathematical Problems from Applied Logic II
Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev
Häftad
1 369 kr
Analysis of Concepts and States in Talmudic Reasoning
Michael Abraham, Israel Belfer, Dov Gabbay
Inbunden
409 kr
Hoppa över listan
Du kanske också är intresserad av
Del 14740
Automated Reasoning
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, Christoph Benzmuller, Marijn J. H. Heule
Häftad
1 049 kr
Del 10501
Automated Reasoning with Analytic Tableaux and Related Methods
Renate A. Schmidt, Cláudia Nalon, Claudia Nalon
Häftad
919 kr
Del 14739
Automated Reasoning
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, Christoph Benzmuller, Marijn J. H. Heule
Häftad
569 kr
Knowledge Representation Techniques
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Inbunden
2 699 kr
Knowledge Representation Techniques
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Häftad
2 699 kr