Kód: 08924680

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: 08924680
Price: 58.67 EUR
Availability: InStock
Author: Ralf Moeller
ISBN: 9783836413060

Autor Ralf Moeller

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 extensi ... celý popis

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 128
Nakladateľ: VDM Verlag Dr. Mueller E.K., 2007
Viac informácií o knihe

58.67 €

Bežne: 59.90 €

Ušetríte 1.23 €

Skladom u dodávateľa
Odosielame za 9 - 15 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Where's Wally? The Fantastic Journey
6.67 € -24 %
Kúpiť
Colour in the Flower Garden
21.14 € -2 %
Kúpiť
Phenomenology: The Basics
22.15 € -6 %
Kúpiť
Bun B's Rap Coloring and Activity Book
11.02 € -27 %
Kúpiť
Jak nás ovlivňuje vlastnění věcí
6.77 € -31 %
Kúpiť
Contemporary Fixed Prosthodontics
145.79 €
Kúpiť
Východní Čechy Ottův turistický průvodce
2.82 € -72 %
Kúpiť
Diagnosing Organizational Culture Instrument
22.96 € -2 %
Kúpiť
Product Manager's Field Guide
30.55 € -17 %
Kúpiť
Structural Methods in Molecular Inorganic Chemistry
87.21 €
Kúpiť
Black as Night
28.32 € -2 %
Kúpiť
Family of the Dead (A Zombie Anthology)
12.94 €
Kúpiť
Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences
88.42 €
Kúpiť
All New X-men Vol. 6: The Ultimate Adventure
13.95 € -24 %
Kúpiť
KULTURA CYFROWA
22.35 € -14 %
Kúpiť
Dreyd
9.70 € -9 %
Kúpiť
Being a Systems Psychodynamic Scholar
36.41 € -2 %
Kúpiť
Anger and the Truth
15.67 €
Kúpiť
How to Propose to a Prince
12.84 €
Predobjednať
Natürlich Blumen!
8.49 € -15 %
Kúpiť
Elements de la Philosophie Chretienne: Comparee Avec Les Doctrines Des Philosophes Anciens
47.95 €
Kúpiť
What I know of farming
9.80 € -6 %
Kúpiť
Reflections of an Irish Twin
14.96 € -6 %
Kúpiť
Politics of Security in Modern Russia
224.71 €
Kúpiť
Handbook of Greek and Latin Palaeography
27.71 € -14 %
Kúpiť
Geheimnis um den Waldsee
16.18 € -10 %
Kúpiť
Holy Quimbanda Novena of the Most Holy Exu Bael, Vol I
76.18 € -9 %
Kúpiť
Lilith: sus mascaras, rituales y manifestaciones.
25.39 € -7 %
Kúpiť
Flash Flood
13.55 € -10 %
Kúpiť
Memoire Pour Servir d'Instruction Aux Commis A La Recette Du Prest & Droit Annuel 1724-1772
26.90 €
Kúpiť
ELECTROCARDIOGRAFIA PARA ESTUDIANTES DE MEDICINA
13.35 €
Kúpiť
Pacific Festivals of Aotearoa New Zealand
65.15 €
Kúpiť
Le langage des signes
31.25 € -6 %
Kúpiť
Pathways of Buddhist Thought
291.28 €
Kúpiť
?Nolu Ari La? Si Mami, !Aqui Estoy!
27.92 €
Kúpiť
A cien millas de Manhattan
11.02 € -10 %
Kúpiť
Child Of God In The Midst Of Adversity
19.82 € -1 %
Kúpiť
Robinson Jeffers: A Portrait
18.40 € -1 %
Kúpiť
Unicorn from the Stars and Other Plays
8.99 € -15 %
Kúpiť
Erinnerst Du Dich wer Du bist?
20.93 € -11 %
Kúpiť
BABADADA black-and-white, Papiamento (Aruba) - Russian (in cyrillic script), diccionario visual - visual dictionary (in cyrillic script)
7.88 €
Kúpiť
Kvebek
52.60 € -14 %
Kúpiť
Thirteenth Year in Zion
16.58 €
Kúpiť
Turkey
24.27 € -25 %
Kúpiť
Resource-Adaptive Cognitive Processes
154.39 € -7 %
Kúpiť
WTO and Global Convergence in Telecommunications and Audio-Visual Services
160.36 €
Kúpiť
Charles dit le Mauvais, roi de Navarre, comte d'Evreux, prétendant au trône de France
39.15 €
Kúpiť
Kirchliches Vermögen unter christlichem Anspruch
44.81 €
Kúpiť
Carrier
13.65 €
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 142 bodov

Anotácia knihy

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Artificial intelligence

58.67 €

Celý názov: Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Autor: Ralf Moeller
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 128
EAN: 9783836413060
ISBN: 9783836413060
ID: 08924680
Nakladateľ: VDM Verlag Dr. Mueller E.K.
Hmotnosť: 440 g
Rozmery: 167 × 243 × 18 mm
Dátum vydania: 18. June 2007