رده‌ها نبیگ

گوییک برای دانش رایانش

(2018)
همچنین شناخته شده با: منطق برای علوم رایانه
برابر انگلیک (انگلیسی): Logics for Computer Science, Classical and Non-Classical

دست‌اندرکاران:

گسترش‌ها
Raham Asha
رهام اشه
(1955 – present)


تاربرگ‌های پیموده‌شده در این نشست: Semantical Considerations on Modal Logic درآمدی به گوییک ناآموزگاهی گوییک برای دانش رایانش