Automated theorem proving (Record no. 9038)
[ view plain ]
| 000 -الفاتح | |
|---|---|
| حقل البيانات ثابتة الطول | 00463nam a22001817a 4500 |
| 001 - رقم الضبط | |
| رقم الضبط | 320 |
| 003 - محدد رقم الضبط | |
| رقم الضبط | ENG |
| 005 - وقت وتاريخ اخر تعامل مع التسجيلة | |
| رقم الضبط | 20240731094459.0 |
| 008 - عناصر البيانات ثابتة الطول - معلومات عامة | |
| حقل البيانات ثابتة الطول | 230919b |||||||| |||| 00| 0 eng d |
| 040 ## - مصدر الفهرسة | |
| وكالة الفهرسة الأصلية | ENG |
| لغة الفهرسة | eng |
| وكالة النسخ | ENG |
| 082 ## - رقم تصنيف ديوى العشرى | |
| رقم الطبعة | 23 |
| رقم التصنيف | 001.535 |
| رقم المادة | L898 |
| 100 ## - المدخل الرئيسى - إسم شخصى | |
| الإسم الشخصى | Loveland,lonald W |
| 245 ## - بيان العنوان | |
| العنوان | Automated theorem proving |
| 260 ## - | |
| مكان الناشر او الموزع | amsterdam |
| اسم الناشر او الموزع | North-Holand |
| تاريخ النشر أو التوزيع | 1978 |
| 300 ## - الوصف المادى | |
| التعداد | 405P |
| 650 ## - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| التقسيم الفرعي العام | AUTOMATIC THEOREM PROVING |
| 942 ## - عناصر المدخل الإضافي( كوها) | |
| مصدر التصنيف او مخطط الترفيف | Dewey Decimal Classification |
| Koha [default] item type | كتاب |
| Suppress in OPAC | 0 |
| تاريخ آخر المشاهدة | رقم الجرد | عدد المخارج | رقم الطلب | السعر ابتداء من | نوع مادة كوها | حالة الفقد | حالة تلف | ليس للاعارة | حالة التراجع | الفرع الرئيسي | تاريخ الاكتساب | نموذج السعر الفعال | الموقع الحالي |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 05/19/2024 | 80-5359 | 001.535++L898 | 05/19/2024 | كتاب | الهندسة | 05/19/2024 | ddc | الهندسة |