Second-Order Quantifier Elimination: Foundations, Computational Aspects, and Applications
まだ評価がありません
Apr 17, 2008
·
英語
·
ペーパーバック
(320 ページ)