اثبات قضیه کمپ
A Proof of Kamp’s Theorem
نویسنده: Alexander Rabinovich
ناشر: Centre pour la Communication Scientifique Directe (CCSD), Logical Methods in Computer Science, Logical Methods in Computer Science, Volume 10, Issue 1, Volume 10, Issue 1, 2014
سال انتشار: 2014
تعداد صفحات: 16
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 220 کیلوبایت