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