Second-Order Quantifier Elimination: Foundations, Computational Aspects, and Applications
还没有评分
Apr 17, 2008
·
英语
·
平装书
(320 页数)