Mohlo by se vám také líbit

Více informací o knize Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 142 bodů

Anotace knihy

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 sy

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence

• Plný název: Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
• Autor: Ralf Moeller
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 128
• EAN: 9783836413060
• ISBN: 9783836413060
• ID: 08924680
• Nakladatelství: VDM Verlag Dr. Mueller E.K.
• Hmotnost: 440 g
• Rozměry: 167 × 243 × 18 mm
• Datum vydání: 18. June 2007

Oblíbené z jiného soudku

---

---

---