Quantifier Elimination and Cylindrical Algebraic Decomposition
Quantifier Elimination and Cylindrical Algebraic Decomposition
ISBN: 9783211827949
出版社: Springer Verlag
页数: 431
定价: $ 120.91
装帧: Pap
ISBN: 9783211827949
出版社: Springer Verlag
页数: 431
定价: $ 120.91
装帧: Pap