Order Total (1 Item Items):
Shipping Destination:
Quantifier Elimination Over Real by Möller Ralf (14 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (13)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (14)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (4)
- Not Print on Demand (6)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 383641306X ISBN 13: 9783836413060
Language: English
Condition: New. SUPER FAST SHIPPING.
-
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 383641306X ISBN 13: 9783836413060
Language: English
Condition: New.
-
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 383641306X ISBN 13: 9783836413060
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.73
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by VDM Verlag Dr. Mueller e.K. 2007-06-18, 2007
ISBN 10: 383641306X ISBN 13: 9783836413060
Language: English
£ 45.17
Convert currency£ 15.49 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Condition: New.
-
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Published by VDM Verlag Dr. Mueller e.K., 2007
ISBN 10: 383641306X ISBN 13: 9783836413060
Language: English
£ 108
Convert currency£ 25 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Quantifier Elimination over Real Closed Fields Mathematical Basis, Solution Techniques, Practical Integrations
Published by VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 383641306X ISBN 13: 9783836413060
Language: English
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Quantifier Elimination over Real Closed Fields Mathematical Basis, Solution Techniques, Practical Integrations
Published by VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 383641306X ISBN 13: 9783836413060
Language: English
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
£ 49.40
Convert currency£ 4.16 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Quantifier Elimination over Real Closed Fields
Published by AV Akademikerverlag Mai 2012, 2012
ISBN 10: 363940663X ISBN 13: 9783639406634
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 52.53
Convert currency£ 19.88 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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.
-
£ 70.96
Convert currency£ 6.50 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand.
-
£ 41.24
Convert currency£ 42.34 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Moeller RalfDr. Ralf Moeller is Professor for Computer Science at the Hamburg University of Technology (TUHH) since 2003. In 1996, he received the degree Dr. rer. nat. from the University of Hamburg. Claudia Schultz, Master of Science.
-
Condition: New. PRINT ON DEMAND.
-
Quantifier Elimination over Real Closed Fields
Published by AV Akademikerverlag Mai 2012, 2012
ISBN 10: 363940663X ISBN 13: 9783639406634
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 52.53
Convert currency£ 51.86 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. 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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 124 pp. Englisch.
-
£ 52.53
Convert currency£ 52.74 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.
