Búsqueda avanzada

LIBROS DEL AUTOR: ralf moeller

1 resultados para LIBROS DEL AUTOR: ralf moeller

Ordenar por

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

Claudia Schultz / Ralf Moeller

This work investigates the quantifier elimination problem in real closed fieldswith respect to the application in description logics. The motivation for theinvestigation in this topic is mainly based on the demand for an extension ofdescription logic systems to support a default concrete domain for non-linearmultivariate equations and inequations. The authors provide a literatu...

Disponible

72,90 €