“خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings” به سبد خرید شما اضافه شد. مشاهده سبد خرید
نمایش 133–144 از 79934 نتیجهمرتبسازی بر اساس جدیدترین
