MAPress
فروشگاه
وبلاگ
سبد خرید
ورود
تگ: Automated Theorem Proving
کتاب مبانی، پیشرفتها و کاربردهای منطق محاسباتی (Computer Science Logic)
249,950 تومان
کتاب EconProver: ساخت LLMهای اثبات قضیه سبک و قدرتمند با کسری از هزینه
249,950 تومان
