書名:Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations,語言:英文,ISBN:9783836413060, ...
確定! 回上一頁