Second-order Quantifier Elimination
Foundations, Computational Aspects and Applications
Häftad, Engelska, 2008
Av Dov Gabbay, Renate A. Schmidt, Andrzej Szalas, D. M. Gabbay, R. Schmidt, A. Szalas
379 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 5
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
4 339 kr
Del 5