Semantics کاربردی: مدرسه تابستانی بین المللی، APPSEM 2000 Caminha، پرتغال، سپتامبر 9-15، 2000 سخنرانی های پیشرفته
Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures
نویسنده: Gilles Barthe, Thierry Coquand (auth.), Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2002
تعداد صفحات: 536 [464]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت