دسته های اثبات خالص
Proof-Net Categories
نویسنده: Kosta DoSen, Zoran Petric
ناشر: Polimetrica, International Scientific Publisher
سال انتشار: 2007
تعداد صفحات: 144
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 612 کیلوبایت
توضیحی برای این کتاب ثبت نشده است.