Code: 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.62 EUR
Availability: InStock
Author: Ralf Moeller
ISBN: 9783836413060

by 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 ... more

Language: English
Binding: Paperback
Number of pages: 128
Publisher: VDM Verlag Dr. Mueller E.K., 2007
More about this

58.62 €

RRP: 59.85 €

You save 1.23 €

In stock at our supplier
Shipping in 14 - 21 days

Add to wishlist

Colour in the Flower Garden
21.12 € -2 %
Buy
Where's Wally? The Fantastic Journey
6.56 € -25 %
Buy
Contemporary Fixed Prosthodontics
145.67 €
Buy
Bun B's Rap Coloring and Activity Book
11.01 € -27 %
Buy
Phenomenology: The Basics
26.27 €
Buy
Jak nás ovlivňuje vlastnění věcí
6.76 € -31 %
Buy
Complete Pure Mathematics 2 & 3 for Cambridge International AS & A Level
59.64 €
Buy
Východní Čechy Ottův turistický průvodce
2.82 € -72 %
Buy
Diagnosing Organizational Culture Instrument
22.94 € -2 %
Buy
Product Manager's Field Guide
30.52 € -17 %
Buy
Structural Methods in Molecular Inorganic Chemistry
87.13 €
Buy
All New X-men Vol. 6: The Ultimate Adventure
13.94 € -24 %
Buy
Reflections of an Irish Twin
14.95 € -6 %
Buy
Black as Night
28.30 € -2 %
Buy
Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences
88.25 €
Buy
KULTURA CYFROWA
22.33 € -14 %
Buy
Dreyd
9.70 € -9 %
Buy
Family of the Dead (A Zombie Anthology)
12.93 €
Buy
Anger and the Truth
15.66 €
Buy
What I know of farming
9.80 € -6 %
Buy
Being a Systems Psychodynamic Scholar
36.38 € -2 %
Buy
Holy Quimbanda Novena of the Most Holy Exu Bael, Vol I
76.11 € -9 %
Buy
How to Propose to a Prince
12.63 €
Pre-order
Pacific Festivals of Aotearoa New Zealand
65.10 €
Buy
Natürlich Blumen!
8.48 € -15 %
Buy
Elements de la Philosophie Chretienne: Comparee Avec Les Doctrines Des Philosophes Anciens
44.67 €
Buy
ELECTROCARDIOGRAFIA PARA ESTUDIANTES DE MEDICINA
12.02 €
Buy
Robinson Jeffers: A Portrait
18.39 € -1 %
Buy
BABADADA black-and-white, Papiamento (Aruba) - Russian (in cyrillic script), diccionario visual - visual dictionary (in cyrillic script)
7.88 €
Buy
A cien millas de Manhattan
11.11 € -10 %
Buy
Erinnerst Du Dich wer Du bist?
20.92 € -11 %
Buy
?Nolu Ari La? Si Mami, !Aqui Estoy!
24.15 €
Buy
Bedeutung von Unternehmenskulturen fur den Erfolg von internationalen Megafusionen
42.75 € -11 %
Buy
Politics of Security in Modern Russia
224.52 €
Buy
Handbook of Greek and Latin Palaeography
27.69 € -14 %
Buy
Geheimnis um den Waldsee
16.17 € -10 %
Buy
Lilith: sus mascaras, rituales y manifestaciones.
25.36 € -7 %
Buy
Flash Flood
13.54 € -10 %
Buy
Carrier
13.64 €
Buy
Kirchliches Vermögen unter christlichem Anspruch
44.77 €
Buy
Pathways of Buddhist Thought
291.04 €
Buy
Le langage des signes
31.23 € -6 %
Buy
Memoire Pour Servir d'Instruction Aux Commis A La Recette Du Prest & Droit Annuel 1724-1772
26.88 €
Buy
Making Words REAL
145.06 €
Buy
Child Of God In The Midst Of Adversity
19.80 € -1 %
Buy
Human Resource Management in Emerging Economies
71.36 €
Buy
Unicorn from the Stars and Other Plays
8.99 € -15 %
Buy
Kvebek
52.56 € -14 %
Buy
Turkey
24.25 € -25 %
Buy
WTO and Global Convergence in Telecommunications and Audio-Visual Services
160.22 €
Buy
Resource-Adaptive Cognitive Processes
154.26 € -7 %
Buy
Charles dit le Mauvais, roi de Navarre, comte d'Evreux, prétendant au trône de France
38.91 €
Buy
Thirteenth Year in Zion
16.57 €
Buy
Sabbath Rest
13.94 € -1 %
Buy
Compendium of Aphorisms
28.70 €
Buy
Taming the Tongue Purpose and Destiny
15.76 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

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

Book details
Synopsis
Trending among others

You get 142 loyalty points

Book synopsis

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

58.62 €

Full title: Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Author: Ralf Moeller
Language: English
Binding: Paperback
Number of pages: 128
EAN: 9783836413060
ISBN: 9783836413060
ID: 08924680
Publisher: VDM Verlag Dr. Mueller E.K.
Weight: 440 g
Dimensions: 167 × 243 × 18 mm
Date of publishing: 18. June 2007