نقدها
هنوز نظری ثبت نشده است
اولین نفری باشید که این کتاب را نقد کرده و نظرات خود را به اشتراک میگذارید
برای بررسی وارد شوید
Second-Order Quantifier Elimination: Foundations, Computational Aspects, and Applications
هنوز رتبهبندی نشده است
Apr 17, 2008
·
انگلیسی
·
جلد نرم
(320 صفحات)