مدخل تقسيم شكلي

عدد التسجيلات المستخدمة في: 10

001 - رقم الضبط

• حقل الضبط: 3496

003 - معرف رقم الضبط

• حقل الضبط: OSt

005 - تاريخ ووقت أخر عملية

• حقل الضبط: 20110828131527.0

008 - عناصر بيانات ثابتة الطول

• حقل تحكم ثابت الطول: 110828|||a|||||| | ||| d

040 ## - مصدر الفهرسة

• هيئة الفهرسة الأصلية: OSt
• وكالة الكتابة: OSt

155 ## - الراس-نوع ادبي/مصطلح شكلي

• النوع الادبي/المصطلح الشكلي: Kongress.

670 ## - بيانات المصدر موجوده

• الاستشهاد بالمصدر: Work cat.: (OSt)0: MoChArt 2008 (2008 : Patrai, Greece) 3491, Model Checking and Artificial Intelligence, c2009.