خرید و دانلود نسخه کامل کتاب Machine learning and automated theorem proving

یادگیری ماشین و اثبات قضیه اتوماتیک

Machine learning and automated theorem proving

نویسنده: Bridge, James P

ناشر: University of Cambridge, Computer Laboratory

سال انتشار: 2010

تعداد صفحات: 180

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت