دانلود کتاب First-order logic and automated theorem proving
ویژگی های محصول
شناسه محصول: first-order-logic-and-automated-theorem-proving
دستهبندی: computers-technology
تاریخ به روز رسانی: 26 مرداد 1405
108,000تومان
محصولات مرتبط
فونیکس | بانک دانش کامپیوتر

نقد و بررسی وجود ندارد.