- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Quantifier Elimination over Real Closed Fields
Mathematical Basis, Solution Techniques, Practical Integrations
Ralf Möller, Claudia Schultz
Paperback | Engels
€ 72,45
+ 144 punten
Omschrijving
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 124
- Taal:
- Engels
Eigenschappen
- Productcode (EAN):
- 9783639406634
- Verschijningsdatum:
- 9/05/2012
- Uitvoering:
- Paperback
- Formaat:
- Trade paperback (VS)
- Afmetingen:
- 152 mm x 229 mm
- Gewicht:
- 190 g
Alleen bij Standaard Boekhandel
+ 144 punten op je klantenkaart van Standaard Boekhandel
CADEAU
LANG LEVE LEZEN
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.