FIT-Conference Hub
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
السمة
العربية
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
الإشعارات
تحديد الكل كمقروء
لا توجد إشعارات جديدة.
عرض الكل
كلمة مفتاحية
البداية:
النهاية:
النوع
الموقع
بحث
مسح
إخفاء خيارات البحث المتقدمة
?
تاريخ التقديم:
الترتيب:
جميع التصنيفات
A*
A
B
C
Unranked
Other
المصدر:
جميع المصادر
الناشر:
المواضيع:
automated deduction
×
مجال البحث:
نتائج المؤتمرات (3)
فعاليات لكل صفحة:
4
8
12
20
50
100
Conference on Intelligent Computer Mathematics (CICM)
Rank: C
Offline
Brasilia, Brazil
Oct 6, 2025 - Oct 11, 2025
Digital and computational solutions for mathematical information
automated deduction
computer algebra
+2 المزيد
International Conference on Automated Deduction (CADE)
Rank: A
Offline
Stuttgart, Germany
Jul 28, 2025 - Aug 2, 2025
Automated Deduction
Logical Foundations
Theory and Principles
+2 المزيد
IEEE Symposium on Logic in Computer Science (LICS)
Rank: A*
Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theory
automated deduction
categorical models and logics
+35 المزيد