MAPress
فروشگاه
وبلاگ
سبد خرید
ورود
تگ: اثبات خودکار
کتاب اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها
249,950 تومان
کتاب مقدمهای بر اثباتگر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزارهها
249,950 تومان
کتاب مبانی، پیشرفتها و کاربردهای منطق محاسباتی (Computer Science Logic)
249,950 تومان
