Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

By Claudia Schultz

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 383641306X
• ISBN13: 9783836413060
• Release Date: June 2007
• Publisher: VDM Verlag Dr. Mueller E.K.
• Length: 128 Pages
• Weight: 0.48 lbs.
• Dimensions: 0.3" x 6.7" x 9.6"