DieBuchSuche - die Suchmaschine für alle Bücher.
Wir suchen aus über 100 Shops für Sie jetzt die besten Angebote - bitte etwas Geduld…
- Versandkosten nach Deutschland (ändern auf AUT, CHE, NLD, SWE, DEN, RUS, FRA, POL, CZE, GBR, USA)
Voreinstellungen anlegen

Alle Bücher für 9783639406634 - jedes Angebot vergleichen

Aus dem Archiv:
9783639406634 - Ralf Möller: Quantifier Elimination over Real Closed Fields - Buch

(?):

Quantifier Elimination over Real Closed Fields (2012) (?)

Lieferung erfolgt aus/von: DeutschlandBuch ist in deutscher SpracheDieses Buch ist ein Taschenbuch (Softcover bzw. Paperback)Neuware, neues BuchNachdruck
ISBN:

9783639406634 (?) bzw. 363940663X

, in Deutsch, Av Akademikerverlag Mai 2012, Taschenbuch, neu, Nachdruck
This item is printed on demand - Print on Demand Titel. - Revision with unchanged content. 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 systems to support a default concrete domain for non-linear multivariate equations and inequations. The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). The authors shortly describe how application examples are handled with a prototype implementation. 124 pp. Englisch
Daten vom 18.10.2014 08:31h
ISBN (andere Schreibweisen): 3-639-40663-X, 978-3-639-40663-4
Aus dem Archiv:
9783639406634 - Möller, Ralf; Schultz, Claudia: Quantifier Elimination over Real Closed Fields: Mathematical Basis, Solution Techniques, Practical Integrations - Buch

(?):

Quantifier Elimination over Real Closed Fields Mathematical Basis Solution Techniques Practical Integrations (2012) (?)

Lieferung erfolgt aus/von: DeutschlandBuch ist in deutscher SpracheDieses Buch ist ein Taschenbuch (Softcover bzw. Paperback)Neuware, neues BuchNachdruck
ISBN:

9783639406634 (?) bzw. 363940663X

, in Deutsch, AV Akademikerverlag, Taschenbuch, neu, Nachdruck
This item is printed on demand for shipment within 3 working days.
Daten vom 18.10.2014 08:31h
ISBN (andere Schreibweisen): 3-639-40663-X, 978-3-639-40663-4
Aus dem Archiv:
9783639406634 - Möller,  Ralf;Schultz, Claudia: Quantifier Elimination over Real Closed Fields - Buch

(?):

Quantifier Elimination over Real Closed Fields (?)

Lieferung erfolgt aus/von: DeutschlandBuch ist in deutscher SpracheNeuware, neues Buch
ISBN:

9783639406634 (?) bzw. 363940663X

, in Deutsch, VDM Verlag Dr. Müller, Saarbrücken, Deutschland, neu
zzgl. Versandkosten, Sofort lieferbar
Mathematical Basis, Solution Techniques, Practical Integrations, Mathematical Basis, Solution Techniques, Practical Integrations
Kategorie: Bücher > Wissenschaft > Mathematik
Daten vom 18.10.2014 08:31h
ISBN (andere Schreibweisen): 3-639-40663-X, 978-3-639-40663-4
Aus dem Archiv:
9783639406634 - Möller, Ralf Schultz, Claudia: Quantifier Elimination over Real Closed Fields - Buch

(?):

Quantifier Elimination over Real Closed Fields (?)

Lieferung erfolgt aus/von: DeutschlandBuch ist in deutscher SpracheDieses Buch ist ein Taschenbuch (Softcover bzw. Paperback)Neuware, neues Buch
ISBN:

9783639406634 (?) bzw. 363940663X

, in Deutsch, Av Akademikerverlag, Taschenbuch, neu
Versandkostenfrei
Revision with unchanged content. 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 systems to support a default concrete domain for non-linear multivariate equations and inequations. The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). The authors shortly describe how application examples are handled with a prototype implementation.124 S. 220 mmVersandfertig in 3-5 Tagen, Softcover
Daten vom 23.09.2015 17:32h
ISBN (andere Schreibweisen): 3-639-40663-X, 978-3-639-40663-4
Aus dem Archiv:
9783639406634 - Ralf Möller: Quantifier Elimination over Real Closed Fields - Buch

(?):

Quantifier Elimination over Real Closed Fields (2012) (?)

Lieferung erfolgt aus/von: DeutschlandBuch ist in deutscher SpracheDieses Buch ist ein Taschenbuch (Softcover bzw. Paperback)Neuware, neues BuchNachdruck
ISBN:

9783639406634 (?) bzw. 363940663X

, in Deutsch, AV Akademikerverlag Mai 2012, Taschenbuch, neu, Nachdruck
This item is printed on demand - Print on Demand Titel. Neuware - Revision with unchanged content. 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 systems to support a default concrete domain for non-linear multivariate equations and inequations. The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). The authors shortly describe how application examples are handled with a prototype implementation. 124 pp. Englisch
Daten vom 23.09.2015 17:32h
ISBN (andere Schreibweisen): 3-639-40663-X, 978-3-639-40663-4

9783639406634

Finden Sie alle lieferbaren Bücher zur ISBN-Nummer 9783639406634 einfach und schnell und können die Preise vergleichen und sofort bestellen.

Lieferbare Raritäten, Sonderausgaben, Restposten und gebrauchte Bücher sowie antiquarische Bücher des Titels "Quantifier Elimination over Real Closed Fields: Mathematical Basis, Solution Techniques, Practical Integrations" von Möller, Ralf;Schultz, Claudia werden vollständig erfasst.

strategisches personalcontrolling formelsammlung vermessungswesen