Kód: 08924680
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
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 extensi ... celý popis
Mohlo by sa vám tiež páčiť
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Objednať darčekový poukazViac informácií
Viac informácií o knihe Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
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
Książki po angielsku
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