Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations) - インターネットデパート

インターネットデパート - 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。

Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)

価格：￥2,584

カテゴリ：ペーパーバック

ブランド： College Publications

Amazon.co.jpで確認

関連商品