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