Automated Theorem Proving

نمایش همه 2 نتیجهمرتب‌سازی بر اساس جدیدترین

مرتب‌سازی بر اساس محبوبیت مرتب‌سازی بر اساس امتیاز مرتب‌سازی بر اساس جدیدترین مرتب‌سازی بر اساس ارزانترین مرتب‌سازی بر اساس گرانترین

• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  دوره‌های آموزشی

  کتاب مبانی، پیشرفت‌ها و کاربردهای منطق محاسباتی (Computer Science Logic)

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  بهینه‌سازی و کارایی مدل‌های زبان بزرگ (LLM)

  کتاب EconProver: ساخت LLMهای اثبات قضیه سبک و قدرتمند با کسری از هزینه

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید