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: 1377 CZK
Availability: InStock

Autor: Ralf Moeller

Jazyk:

Vazba: Brožovaná

Vydavatel: VDM Verlag Dr. Mueller E.K.

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

1 377 Kč

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

Informace o knize

Autor

Ralf Moeller

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2007

Stránek

128

EAN

9783836413060

ISBN

9783836413060

Enbook ID

08924680

Vydavatel

VDM Verlag Dr. Mueller E.K.

Hmotnost

440

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také