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.77 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.77 €

RRP: 60 €

You save 1.23 €

In stock at our supplier
Shipping in 9 - 15 days

Add to wishlist

Contemporary Fixed Prosthodontics
146.03 €
Buy
Where's Wally? The Fantastic Journey
6.68 € -24 %
Buy
Colour in the Flower Garden
21.17 € -2 %
Buy
Phenomenology: The Basics
24.41 €
Buy
Bun B's Rap Coloring and Activity Book
11.04 € -27 %
Buy
Jak nás ovlivňuje vlastnění věcí
6.78 € -31 %
Buy
Východní Čechy Ottův turistický průvodce
2.83 € -72 %
Buy
Diagnosing Organizational Culture Instrument
23 € -2 %
Buy
Product Manager's Field Guide
30.60 € -17 %
Buy
Structural Methods in Molecular Inorganic Chemistry
87.35 €
Buy
Black as Night
28.37 € -2 %
Buy
All New X-men Vol. 6: The Ultimate Adventure
13.98 € -24 %
Buy
KULTURA CYFROWA
26.54 € -2 %
Buy
Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences
88.57 €
Buy
Family of the Dead (A Zombie Anthology)
12.96 €
Buy
Anger and the Truth
15.70 €
Buy
Dreyd
9.72 € -9 %
Buy
What I know of farming
9.82 € -6 %
Buy
Reflections of an Irish Twin
14.99 € -6 %
Buy
Being a Systems Psychodynamic Scholar
36.47 € -2 %
Buy
Holy Quimbanda Novena of the Most Holy Exu Bael, Vol I
76.30 € -9 %
Buy
How to Propose to a Prince
12.86 €
Pre-order
Elements de la Philosophie Chretienne: Comparee Avec Les Doctrines Des Philosophes Anciens
48.03 €
Buy
BABADADA black-and-white, Papiamento (Aruba) - Russian (in cyrillic script), diccionario visual - visual dictionary (in cyrillic script)
9.82 € -6 %
Buy
Politics of Security in Modern Russia
225.08 €
Buy
Handbook of Greek and Latin Palaeography
31.91 € -4 %
Buy
Bedeutung von Unternehmenskulturen fur den Erfolg von internationalen Megafusionen
107.72 € -10 %
Buy
Geheimnis um den Waldsee
16.21 € -10 %
Buy
Lilith: sus mascaras, rituales y manifestaciones.
25.43 € -7 %
Buy
Flash Flood
16.61 €
Buy
Kirchliches Vermögen unter christlichem Anspruch
44.89 €
Buy
Carrier
13.67 €
Buy
Le langage des signes
44.08 € -6 %
Buy
Memoire Pour Servir d'Instruction Aux Commis A La Recette Du Prest & Droit Annuel 1724-1772
26.95 €
Buy
Pacific Festivals of Aotearoa New Zealand
65.86 €
Pre-order
Pathways of Buddhist Thought
291.76 €
Buy
Robinson Jeffers: A Portrait
18.43 € -1 %
Buy
Erinnerst Du Dich wer Du bist?
28.57 € -7 %
Buy
Unicorn from the Stars and Other Plays
20.26 €
Buy
A cien millas de Manhattan
11.04 € -10 %
Buy
Child Of God In The Midst Of Adversity
19.85 € -1 %
Buy
?Nolu Ari La? Si Mami, !Aqui Estoy!
27.96 €
Buy
Kvebek
52.69 € -14 %
Buy
Turkey
24.31 € -25 %
Buy
WTO and Global Convergence in Telecommunications and Audio-Visual Services
160.62 €
Buy
Thirteenth Year in Zion
16.61 €
Buy
Resource-Adaptive Cognitive Processes
168.02 €
Buy
Charles dit le Mauvais, roi de Navarre, comte d'Evreux, prétendant au trône de France
39.21 €
Buy
Compendium of Aphorisms
28.77 €
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.77 €

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