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

Name: Handful of Books Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations - Paperback - Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations - Paperback
Brand: Handful of Books
SKU: 47949054836957
Price: 110.11 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$110.11

Quantity

Color

Black

Quantity

Description

Report copyright infringement
by Claudia Schultz (Author), Ralf Moeller (Author)
This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the inv...