FIT-Conference Hub
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
پوسته
فارسی
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
اعلانها
علامتگذاری همه به عنوان خواندهشده
هیچ اعلان جدیدی وجود ندارد.
مشاهده همه
کلمه کلیدی
شروع:
پایان:
نوع
مکان
جستجو
پاک کردن
پنهان کردن گزینههای جستجوی پیشرفته
?
تاریخ ارسال مقاله:
رتبه:
همه رتبهها
A*
A
B
C
Unranked
Other
منبع:
همه منابع
ناشر:
موضوعات:
equational logic
×
حوزه پژوهشی:
نتایج کنفرانسها (1)
مرتبسازی بر اساس:
تاریخ ارسال مقاله
Conference Date
رتبه
نوع
Default
Relevant
Descending
Ascending
رویدادها در هر صفحه:
4
8
12
20
50
100
Annual Conference on Computer Science Logic (CSL)
Rank: B
Hybrid
Paris, France
Feb 23, 2026
automated deduction
concurrency
distributed computation
+7 بیشتر
