Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

Name: Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 9783836413060
Price: 22860 HUF
Availability: InStock

Szerző: Ralf Moeller

Nyelv:

Kötés: Puha kötésű

Kiadó: VDM Verlag Dr. Mueller E.K.

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

22 860 Ft

This work investigates the quantifier elimination problem in real closed fields with respect to the...

Információk a könyvről

Szerző

Ralf Moeller

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2007

oldal

128

EAN

9783836413060

ISBN

9783836413060

Enbook ID

08924680

Kiadó

VDM Verlag Dr. Mueller E.K.

Súly

440

Méretek

243 x 167 x 18

Teljes leírás

This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the investigation in this topic is mainly based on the demand for an extension of description logic sy

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták