Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker
فرمت کتاب
ebook
زبان
german
تاریخ انتشار
1991
شابک
9783663076810
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
9783663076810
دیدگاه کاربران