منطق خطی در علوم کامپیوتر
Linear logic in computer science
نویسنده: Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
ناشر: Cambridge University Press
سال انتشار: 2004
تعداد صفحات: 392
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت