Books > Computers & Technology > Computer Science > AI & Machine Learning > Intelligence & Semantics
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Product ID: 383641306X
Condition: New
$ 250
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Technical Specifications
Country
USA
Brand
VDM Verlag
Manufacturer
VDM Verlag Dr. Mueller E.K.
Binding
Paperback
PartNumber
Refer to Sapnet.
Height
9.61
Length
6.69
Weight
0.9700339528
Width
0.27
NumberOfItems
1
Author
Schultz, Claudia, Moeller, Ralf
You might also like
Oonomoo the Huron
The Eclipse of Faith Or, a Visit to a Religious Sceptic
Probabilities: An Aid to Faith
The Land of Mystery
Auguste Comte and Positivism
The Scarlet Gown Being Verses by a St. Andrews Man
Life of Charles Dickens
Chronicles of England, Scotland and Ireland (2 of 6): England (6 of 12) Richard the First