Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations / Najlacnejšie knihy
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

Code: 08924680

Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

by Ralf Moeller

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 ... more

58.62 €

RRP: 59.85 €

You save 1.23 €


In stock at our supplier
Shipping in 14 - 21 days
Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

You get 142 loyalty points

Book synopsis

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

Book details

Book category Knihy po anglicky Computing & information technology Computer science Artificial intelligence

58.62 €

Trending among others

O tomto obchode



Nákupný poradca
Prehľady
Knihy podľa jazyka
Platba
Doručenie 2.99 €

Osobný odber Bratislava a 13222 dalších

Slovensko
България Hrvatska România Magyarország Polska Česko

Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies

Môj účet: Prihlásiť sa
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Nákupný košík ( prázdny )

Vyzdvihnutie v Zásielkovni
zadarmo nad 59,99 €.

Nachádzate sa: