First-order Logic
در حال نمایش 2 نتیجهمرتبسازی بر اساس جدیدترین
-
دورههای آموزشی
کتاب مبانی، پیشرفتها و کاربردهای منطق محاسباتی (Computer Science Logic)
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند -
دورههای آموزشی
کتاب برنامه = اثبات: مبانی برنامهنویسی قابل اعتماد با نظریه نوعها
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند
