FIT-Conference Hub
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
السمة
العربية
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
الإشعارات
تحديد الكل كمقروء
لا توجد إشعارات جديدة.
عرض الكل
كلمة مفتاحية
البداية:
النهاية:
النوع
الموقع
بحث
مسح
إخفاء خيارات البحث المتقدمة
?
تاريخ التقديم:
الترتيب:
جميع التصنيفات
A*
A
B
C
Unranked
Other
المصدر:
جميع المصادر
الناشر:
المواضيع:
Theory and Principles
×
مجال البحث:
نتائج المؤتمرات (1)
فعاليات لكل صفحة:
4
8
12
20
50
100
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 المزيد
