automated theorem proving

Showing all 3 resultsSorted by latest

مرتب سازی بر اساس محبوبیت مرتب سازی بر اساس میانگین رتبه مرتب سازی بر اساس جدیدترین مرتب سازی بر اساس هزینه: کم به زیاد مرتب سازی بر اساس هزینه: زیاد به کم

• افزودن به سبد خرید
  روش‌های صوری‌سازی و اثبات خودکار قضیه‌ها

  کتاب مقدمه‌ای بر صوری‌سازی خودکار برای ریاضی‌دانان: ابزارها و رویکردها

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

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

  تومان249,950 افزودن به سبد خرید
• افزودن به سبد خرید
  کتاب‌های آموزشی

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

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