Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on the quantifier elimination problem in real closed fields, this work explores its relevance to description logics, particularly in extending systems to handle default concrete domains for non-linear multivariate equations. It includes a comprehensive literature overview of mathematical tools for assessing the satisfiability of non-linear multivariate inequalities. Additionally, the authors briefly discuss practical applications and present a prototype implementation that demonstrates how these concepts are utilized in real-world scenarios.
Achat du livre
Quantifier Elimination over Real Closed Fields, Ralf Möller, Claudia Schultz
- Langue
- Année de publication
- 2012
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .