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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.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: 64.78 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

64.78 €

Externes Lager Wir versenden in 14-21 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le langage des signes Charlier

Kalender

31.32 €

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

Broschur

7.90 €

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

Broschur

38.92 €

ELECTROCARDIOGRAFIA PARA ESTUDIANTES DE MEDICINA

Broschur

13.47 €

KULTURA CYFROWA Ayoub Ainane

Broschur

22.40 €

Blunda och du dor Bergstrand

MP3

8.81 €

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

Broschur

9.72 €

Kirchliches Vermögen unter christlichem Anspruch Bernhard Emunds

Broschur

44.80 €

Lilith: sus mascaras, rituales y manifestaciones. Daemon Barzai

Broschur

28.18 €

Flash Flood Karl-Heinz Kofer

Broschur

13.58 €

Dragonball Z Kai Yasuhiro Nowatari

Blu-ray

75.22 €

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

Broschur

29.60 €

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

Broschur

49.26 €

A cien millas de Manhattan FESSERM GUILLERMO

Broschur

11.14 €

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

Hardcover

26.76 €

Natürlich Blumen! Holger Schweizer

Hardcover

8.51 €

Geheimnis um den Waldsee Rudi Eberlein

Hardcover

16.21 €

Erinnerst Du Dich wer Du bist? Monja Cavallieri

Broschur

20.98 €

Kvebek Zakamulina Milyausha

Broschur

52.71 €

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

Broschur

42.88 €

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

Karte

5.67 €

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