منطق، ساخت و ساز، محاسبات
Logic, Construction, Computation
نویسنده: Ulrich Berger (editor); Hannes Diener (editor); Peter Schuster (editor); Monika Seisenberger (editor)
ناشر: De Gruyter
سال انتشار: 2012
تعداد صفحات: 544
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت