Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker
Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
گزارش تخلف
فرمت کتاب
computer file
زبان
german
تاریخ انتشار
1989
شابک
978-3-528-04718-4
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید
دیدگاه کاربران