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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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: 63.89 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

156 b

63.89 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

40.39 €

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

Broschur

8.09 €

ELECTROCARDIOGRAFIA PARA ESTUDIANTES DE MEDICINA

Broschur

13.89 €

Blunda och du dor Bergstrand

MP3

9.09 €

Le langage des signes Charlier

Kalender

32.79 €

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

Broschur

9.39 €

KULTURA CYFROWA Ayoub Ainane

Broschur

23.39 €

Kirchliches Vermögen unter christlichem Anspruch Bernhard Emunds

Broschur

46.39 €

Lilith: sus mascaras, rituales y manifestaciones. Daemon Barzai

Broschur

27.79 €

Flash Flood Karl-Heinz Kofer

Broschur

14.95 €

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

Broschur

29.19 €

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

Broschur

52.09 €

A cien millas de Manhattan FESSERM GUILLERMO

Broschur

10.89 €

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

Hardcover

30.39 €

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

54.99 €

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

Broschur

48.00 €

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

Karte

5.39 €

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