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: 253.51 PLN
Availability: InStock

Autor: Ralf Moeller

Język:

Oprawa: Miękka

Wydawca: VDM Verlag Dr. Mueller E.K.

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

253.51 zł

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

Informacje o książce

Autor

Ralf Moeller

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2007

strony

128

EAN

9783836413060

ISBN

9783836413060

Enbook ID

08924680

Wydawca

VDM Verlag Dr. Mueller E.K.

Waga

440

Wymiary

243 x 167 x 18

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również