مشاهده فیلترها
نمایش 9 24 36
-36%
خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

قیمت اصلی 43,500 تومان بود.قیمت فعلی 28,000 تومان است.
-23%
خرید و دانلود نسخه کامل کتاب Nonzero: The Logic of Human Destiny
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Nonzero: The Logic of Human Destiny

قیمت اصلی 66,500 تومان بود.قیمت فعلی 51,000 تومان است.
-28%
خرید و دانلود نسخه کامل کتاب Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus

قیمت اصلی 55,500 تومان بود.قیمت فعلی 40,000 تومان است.
-24%
خرید و دانلود نسخه کامل کتاب Intellectics and computational logic: papers in honor of Wolfgang Bibel
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Intellectics and computational logic: papers in honor of Wolfgang Bibel

قیمت اصلی 64,500 تومان بود.قیمت فعلی 49,000 تومان است.
-23%
خرید و دانلود نسخه کامل کتاب Logic, Language and Computation. Volume 1
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Logic, Language and Computation. Volume 1

قیمت اصلی 68,500 تومان بود.قیمت فعلی 53,000 تومان است.
-24%
خرید و دانلود نسخه کامل کتاب Formal Aspects of Context
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Formal Aspects of Context

قیمت اصلی 65,500 تومان بود.قیمت فعلی 50,000 تومان است.
-25%
خرید و دانلود نسخه کامل کتاب Geometric Stability Theory
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Geometric Stability Theory

قیمت اصلی 61,500 تومان بود.قیمت فعلی 46,000 تومان است.
-31%
خرید و دانلود نسخه کامل کتاب Algebraic semantics
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Algebraic semantics

قیمت اصلی 49,500 تومان بود.قیمت فعلی 34,000 تومان است.
-26%
خرید و دانلود نسخه کامل کتاب Mathematical Logic
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Mathematical Logic

قیمت اصلی 59,500 تومان بود.قیمت فعلی 44,000 تومان است.
-36%
خرید و دانلود نسخه کامل کتاب Isabelle/HOL: A Proof Assistant for Higher-Order Logic
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Isabelle/HOL: A Proof Assistant for Higher-Order Logic

قیمت اصلی 43,500 تومان بود.قیمت فعلی 28,000 تومان است.
-31%
خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

قیمت اصلی 50,500 تومان بود.قیمت فعلی 35,000 تومان است.
-25%
خرید و دانلود نسخه کامل کتاب A Guide to Classical and Modern Model Theory
افزودن به سبد خرید
مشاهده سریع
افزودن به علاقه مندی

خرید و دانلود نسخه کامل کتاب A Guide to Classical and Modern Model Theory

قیمت اصلی 62,500 تومان بود.قیمت فعلی 47,000 تومان است.
بارگیری بیشتر محصولات
درحال بارگذاری...