Mohlo by sa vám tiež páčiť

Viac informácií o knihe Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 188 bodov

Anotácia 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

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Artificial intelligence

• Celý názov: Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
• Autor: Ralf Moeller
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 128
• EAN: 9783836413060
• ISBN: 9783836413060
• ID: 08924680
• Nakladateľ: VDM Verlag Dr. Mueller E.K.
• Hmotnosť: 440 g
• Rozmery: 167 × 243 × 18 mm
• Dátum vydania: 18. June 2007

Obľúbené z iného súdka

---

---

---