Global Conference & Journal Hub
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
پوسته
فارسی
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
اعلانها
علامتگذاری همه به عنوان خواندهشده
هیچ اعلان جدیدی وجود ندارد.
مشاهده همه
کلمه کلیدی
شروع:
پایان:
نوع
مکان
جستجو
پاک کردن
پنهان کردن گزینههای جستجوی پیشرفته
?
تاریخ ارسال مقاله:
رتبه:
همه رتبهها
A*
A
B
C
Unranked
Other
منبع:
همه منابع
موضوعات:
logical foundations of programming
×
حوزه پژوهشی:
نتایج کنفرانسها (1)
رویدادها در هر صفحه:
4
8
12
20
50
100
Logical Foundations of Computer Science (LFCS)
Rank: National: USA
Online
No location
TBD
constructive mathematics and type theory
homotopy type theory
logic
+26 بیشتر
