Second-Order Quantifier Elimination: Foundations, Computational Aspects, and Applications
لا توجد تقييمات بعد
Apr 17, 2008
·
الإنجليزية
·
غلاف ورقي
(320 صفحات)