رده‌ها نبیگ

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

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

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

گسترش‌ها


تاربرگ‌های پیموده‌شده در این نشست: درآمدی به گویایی ناآموزگاهی گراهام پریست پاورپوینت چماریک‌های جهان شدنی نبیگ فشرده در افماریک جبر و تراز کردن گویایی واخته‌ها