معماها در منطق ، زبانها و محاسبات: کتاب قرمز
Puzzles in logic, languages and computation: The red book
نویسنده: Dragomir Radev (auth.), Dragomir Radev (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2013
تعداد صفحات: 195
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت