Global Conference & Journal Hub
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
پوسته
فارسی
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
اعلانها
علامتگذاری همه به عنوان خواندهشده
هیچ اعلان جدیدی وجود ندارد.
مشاهده همه
کلمه کلیدی
شروع:
پایان:
نوع
مکان
جستجو
پاک کردن
پنهان کردن گزینههای جستجوی پیشرفته
?
تاریخ ارسال مقاله:
رتبه:
همه رتبهها
A*
A
B
C
Unranked
Other
منبع:
همه منابع
موضوعات:
Type Theory and Proof Theory
×
حوزه پژوهشی:
نتایج کنفرانسها (1)
رویدادها در هر صفحه:
4
8
12
20
50
100
Foundations of Software Science and Computational Structures (FOSSACS)
Rank: A
Offline
Hamilton, Canada
May 5, 2025 - May 8, 2025
Software Science
Categorical Models and Logics
Language Theory
+25 بیشتر
