تنقيح بحثك
الإتاحة
-
المؤلفين
- Esparza, Javier (1)
- Michaux, Christian (1)
- MoChArt 2008 (2)
- Peled, Doron (2)
- Steinhorn, Charles (1)
- Wooldrige, Michael J. (2)
- عرض المزيد
- عرض أقل
-
أنواع المادة
-
السلاسل
-
مواضيع
- Artificial intelligence (2)
- Computer science (1)
- Computer software (2)
- Computer systems (2)
- Congresses (2)
- Finite model theory (1)
- Kongress (2)
- Künstliche Intelligenz (1)
- K�unstliche Intelligenz (1)
- Mathematics (1)
- Model Checking (2)
- Patras <2008> (2)
- Verification (2)
- عرض المزيد
- عرض أقل
-
المكتبات المقتنية
-
المكتبات الرئيسية
-
اللغات
- English (3)
