کتاب مبانی نظری و روشهای بهینهسازی در حلکنندههای منطقی (SAT Solvers) و سیستمهای استنتاجی با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB
249,950 تومان
در صورت خرید اقساطی هر قسط: 62,488 تومان