عرض عادي
عرض مارك
- K�unstliche Intelligenz
مدخل مصطلح موضوعي
001 - رقم الضبط
- حقل الضبط: 40717
003 - معرف رقم الضبط
- حقل الضبط: OSt
005 - تاريخ ووقت أخر عملية
- حقل الضبط: 20131123160149.0
008 - عناصر بيانات ثابتة الطول
- حقل تحكم ثابت الطول: 131123|||a|||||| | ||| d
040 ## - مصدر الفهرسة
- هيئة الفهرسة الأصلية: OSt
- وكالة الكتابة: OSt
150 ## - مدخل-- مصطلح تاريخي
- عنصر مدخل المصطلح الموضوعي او الاسم الجغرافي: K�unstliche Intelligenz
- تفريع عام: Model Checking
- تفريع شكلي: Kongress
- تفريع جغرافي: Patras <2008>
670 ## - بيانات المصدر موجوده
- الاستشهاد بالمصدر: Work cat.: (OSt)0: MoChArt 2008 (2008 : Patrai, Greece) 3491, Model Checking and Artificial Intelligence :, c2009.