Global Conference & Journal Hub
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
پوسته
فارسی
کنفرانسها
ژورنالها
بصریسازی
چتبات
جدید
پشتیبانی
انتشار
اعلانها
علامتگذاری همه به عنوان خواندهشده
هیچ اعلان جدیدی وجود ندارد.
مشاهده همه
کلمه کلیدی
شروع:
پایان:
نوع
مکان
جستجو
پاک کردن
پنهان کردن گزینههای جستجوی پیشرفته
?
تاریخ ارسال مقاله:
رتبه:
همه رتبهها
A*
A
B
C
Unranked
Other
منبع:
همه منابع
موضوعات:
Interactive Theorem Proving
×
حوزه پژوهشی:
نتایج کنفرانسها (1)
رویدادها در هر صفحه:
4
8
12
20
50
100
Conference on Interactive Theorem Proving (ITP)
Rank: A
Offline
Reykjavik, Iceland
Sep 29, 2025 - Oct 2, 2025
Interactive Theorem Proving
Program Verification
Security
+1 بیشتر
