Verwandte Artikel zu Quantifier Elimination over Real Closed Fields- Mathematical...
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Reseña del editor:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagVDM Verlag Dr. Mueller e.K.
- Erscheinungsdatum2007
- ISBN 10 383641306X
- ISBN 13 9783836413060
- EinbandTapa blanda
- Anzahl der Seiten128
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 68,33
Versand:
Gratis
Innerhalb der USA
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Quantifier Elimination over Real Closed Fields Mathematical Basis, Solution Techniques, Practical Integrations
Verlag:
VDM Verlag Dr. Mueller E.K.
(2007)
ISBN 10: 383641306X
ISBN 13: 9783836413060
Neu
PAP
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9783836413060
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 68,33
Währung umrechnen
Beispielbild für diese ISBN
Quantifier Elimination over Real Closed Fields- Mathematical Basis; Solution Techniques; Practical Integrations
Verlag:
VDM Verlag Dr. Mueller e.K.
(2007)
ISBN 10: 383641306X
ISBN 13: 9783836413060
Neu
Softcover
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783836413060_lsuk
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 62,44
Währung umrechnen
Beispielbild für diese ISBN
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Verlag:
VDM Verlag Dr. Mueller e.K. 2007-06
(2007)
ISBN 10: 383641306X
ISBN 13: 9783836413060
Neu
PF
Anzahl: 10
Anbieter:
Bewertung
Buchbeschreibung PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783836413060
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 59,30
Währung umrechnen
Beispielbild für diese ISBN
Quantifier Elimination over Real Closed Fields Mathematical Basis, Solution Techniques, Practical Integrations
Verlag:
VDM Verlag Dr. Mueller E.K.
(2007)
ISBN 10: 383641306X
ISBN 13: 9783836413060
Neu
PAP
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9783836413060
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 65,68
Währung umrechnen
Foto des Verkäufers
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Verlag:
B o D - Books on Demand
(2007)
ISBN 10: 383641306X
ISBN 13: 9783836413060
Neu
Softcover
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 598300138
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 65,77
Währung umrechnen