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