phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

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

Język AngielskiAngielski
Książka Miękka
Książka Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations Ralf Moeller
Kod Libristo: 08924680
Wydawnictwo VDM Verlag Dr. Mueller E.K., czerwiec 2007
This work investigates the quantifier elimination problem in real closed fields with respect to the... Cały opis
? points 165 b
281.08 zł
Dostępna u dostawcy Wysyłamy za 15-20 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

All New X-men Vol. 6: The Ultimate Adventure Brian Michael Bendis / Miękka
common.buy 60.75 zł
Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences Ernest F. Haeussler / Twarda
common.buy 376.68 zł
Erinnerst Du Dich wer Du bist? Monja Cavallieri / Miękka
common.buy 136.93 zł
Kvebek Zakamulina Milyausha / Miękka
common.buy 281.08 zł
Dreyd Daniel Heath Justice / Miękka
common.buy 45.04 zł
Pacific Festivals of Aotearoa New Zealand Jared Mackley-Crump / Twarda
common.buy 292.39 zł
Child Of God In The Midst Of Adversity Isaac M Arku / Miękka
common.buy 73.37 zł
Compendium of Aphorisms Ricardo Lebrija / Twarda
common.buy 142.44 zł
Natürlich Blumen! Holger Schweizer / Twarda
common.buy 35.43 zł
A cien millas de Manhattan FESSERM GUILLERMO / Miękka
common.buy 47.24 zł
Thirteenth Year in Zion Duane Keown / Miękka
common.buy 78.97 zł
Geheimnis um den Waldsee Rudi Eberlein / Twarda
common.buy 70.46 zł

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

Informacje o książce

Pełna nazwa Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Autor Ralf Moeller
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 128
EAN 9783836413060
ISBN 9783836413060
Kod Libristo 08924680
Wydawnictwo VDM Verlag Dr. Mueller E.K.
Waga 440
Wymiary 243 x 167 x 18

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo