Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Ralf Moeller

Sprache

Englisch

Buch Broschur

Libristo-Code: 08924680

Verlag VDM Verlag Dr. Mueller E.K., Juni 2007

This work investigates the quantifier elimination problem in real closed fields with respect to the... Vollständige Beschreibung

Libristo-Code: 08924680

127 b

52.09 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le langage des signes Charlier

Kalender

27.29 €

BABADADA black-and-white, Papiamento (Aruba) - Russian (in cyrillic script), diccionario visual - visual dictionary (in cyrillic script) Babadada Gmbh

Broschur

6.99 €

Charles dit le Mauvais, roi de Navarre, comte d'Evreux, prétendant au trône de France de Palacios

Broschur

31.69 €

ELECTROCARDIOGRAFIA PARA ESTUDIANTES DE MEDICINA

Broschur

10.79 €

KULTURA CYFROWA Ayoub Ainane

Broschur

19.49 €

Blunda och du dor Bergstrand

MP3

7.19 €

Jak nás ovlivňuje vlastnění věcí Helena Rerichová

Broschur

7.69 €

Kirchliches Vermögen unter christlichem Anspruch Bernhard Emunds

Broschur

40.00 €

Lilith: sus mascaras, rituales y manifestaciones. Daemon Barzai

Broschur

27.79 €

Flash Flood Karl-Heinz Kofer

Broschur

14.95 €

Dragonball Z Kai Yasuhiro Nowatari

Blu-ray

68.99 €

Memoire Pour Servir d'Instruction Aux Commis A La Recette Du Prest & Droit Annuel 1724-1772 France

Broschur

23.99 €

Elements de la Philosophie Chretienne: Comparee Avec Les Doctrines Des Philosophes Anciens Sanseverino-G

Broschur

39.79 €

A cien millas de Manhattan FESSERM GUILLERMO

Broschur

9.69 €

?Nolu Ari La? Si Mami, !Aqui Estoy! JOS LUIS CRU P REZ

Hardcover

21.49 €

Natürlich Blumen! Holger Schweizer

Hardcover

9.90 €

Geheimnis um den Waldsee Rudi Eberlein

Hardcover

17.90 €

Erinnerst Du Dich wer Du bist? Monja Cavallieri

Broschur

23.30 €

Kvebek Zakamulina Milyausha

Broschur

45.89 €

Bedeutung von Unternehmenskulturen fur den Erfolg von internationalen Megafusionen Arne König

Broschur

48.00 €

Východní Čechy Ottův turistický průvodce

Karte

3.59 €

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

Autor Ralf Moeller

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 128

EAN 9783836413060

ISBN 9783836413060

Libristo-Code 08924680

Verlag VDM Verlag Dr. Mueller E.K.

Gewicht 440

Abmessungen 243 x 167 x 18

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert