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: 56.97 EUR
Availability: InStock

Autor: Ralf Moeller

Jazyk:

Väzba: Brožovaná

Vydavateľ: VDM Verlag Dr. Mueller E.K.

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

56.97 €

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

Informácie o knihe

Autor

Ralf Moeller

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2007

Stránok

128

EAN

9783836413060

ISBN

9783836413060

Enbook ID

08924680

Vydavateľ

VDM Verlag Dr. Mueller E.K.

Hmotnosť

440

Rozmery

243 x 167 x 18

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež