Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations (Paperback) Loot Price: R1,516

Discovery Miles 15 160

Repayment Terms: R142 pm x 12*

Add to cart

Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations (Paperback):...

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

Claudia Schultz, Ralf Moeller

(sign in to rate)

Loot Price R1,516 Discovery Miles 15 160 | Repayment Terms: R142 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	VDM Verlag Dr. Mueller E.K.
Country of origin:	Germany
Release date:	June 2007
First published:	June 2007
Authors:	Claudia Schultz • Ralf Moeller
Dimensions:	244 x 170 x 7mm (L x W x T)
Format:	Paperback - Trade
Pages:	128
ISBN-13:	978-3-8364-1306-0
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-8364-1306-X
Barcode:	9783836413060