Finite and algorithmic model theory / (رقم التسجيلة. 33409)
[ عرض عادي ]
| 000 -الفاتح | |
|---|---|
| حقل البيانات ثابتة الطول | 03166cam a22004454a 4500 |
| 001 - رقم الضبط | |
| رقم الضبط | 16540467 |
| 003 - محدد رقم الضبط | |
| رقم الضبط | OSt |
| 005 - وقت وتاريخ اخر تعامل مع التسجيلة | |
| رقم الضبط | 20150408114205.0 |
| 008 - عناصر البيانات ثابتة الطول - معلومات عامة | |
| حقل البيانات ثابتة الطول | 101116s2011 enka b 001 0 eng |
| 010 ## - رقم ضبط مكتبة الكونجرس | |
| رقم ضبط مكتبة الكونجرس | 2010048062 |
| 015 ## - رقم الببليوجرافية الوطنية | |
| رقم الببليوجرافية الوطنية | GBB0A7488 |
| المصدر | bnb |
| 016 7# - رقم ضبط الوكاله الوطنية للضبط الببليوجرافي | |
| رقم ضبط التسجيلة | 015644102 |
| المصدر | Uk |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 9780521718202 (pbk.) |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 0521718201 (pbk.) |
| 035 ## - رقم ضبط النظام | |
| رقم ضبط النظام | (OCoLC)ocn663441246 |
| 040 ## - مصدر الفهرسة | |
| وكالة الفهرسة الأصلية | DLC |
| وكالة النسخ | DLC |
| وكالة التعديل | YDX |
| -- | UKM |
| -- | YDXCP |
| -- | IXA |
| -- | STF |
| -- | COO |
| -- | PUL |
| -- | CDX |
| -- | DLC |
| 042 ## - رمز التحقق | |
| رمز التحقق | pcc |
| 050 00 - رقم طلب مكتبة الكونجرس | |
| رقم التصنيف | QA9.7 |
| رقم المادة | .F565 2011 |
| 082 00 - رقم تصنيف ديوى العشرى | |
| رقم التصنيف | 511.34 |
| رقم الطبعة | 22 |
| رقم المادة | FIA |
| 084 ## - رقم تصنيف آخر | |
| رقم التصنيف | MAT018000 |
| مصدر الرقم | bisacsh |
| 245 00 - بيان العنوان | |
| العنوان | Finite and algorithmic model theory / |
| بيان المسئوليه,etc | edited by Javier Esparza, Christian Michaux, Charles Steinhorn. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| مكان الناشر او الموزع | Cambridge ; |
| -- | New York : |
| اسم الناشر او الموزع | Cambridge University Press, |
| تاريخ النشر أو التوزيع | 2011. |
| 300 ## - الوصف المادى | |
| التعداد | xi, 341 p. : |
| تفاصيل ماديه اخرى للوعاء | ill. ; |
| أبعاد الوعاء | 23 cm. |
| 490 1# - بيان السلسلة | |
| عنوان السلسلة | London Mathematical Society lecture note series ; |
| رقم المجلد/ التعيين التسلسلي | 379 |
| 504 ## - تبصرة ببليوجرافية | |
| تبصرة ببليوجرافية,الخ | Includes bibliographical references and index. |
| 504 ## - تبصرة ببليوجرافية | |
| تبصرة ببليوجرافية,الخ | Includes bibliographical references. |
| 505 0# - تبصرة محتويات-الفهرس | |
| تبصرة المحتويات المصاغة | Preface / Javier Esparza, Christian Michaux and Charles Steinhorn -- Automata-based presentations of infinite structures / Vince B�ar�any, Erich Gr�adel and Sasha Rubin -- Logical aspects of spatial databases / Bart Kuijpers and Jan Van den Bussche -- Some connections between finite and infinite model theory / Vera Koponen -- Definability in classes of finite structures / Dugald Macpherson and Charles Steinhorn -- Algorithmic meta-theorems / Stephan Kreutzer -- Model theoretic methods for fragments of FO and special classes of (finite) structures / Martin Otto. |
| 520 ## - التبصرة الخاصة بالتعليق أو التلخيص | |
| ملخص,الخ | "Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research"--Provided by publisher. |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Finite model theory. |
| 9 (RLIN) | 42585 |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer science |
| التقسيم الفرعي العام | Mathematics. |
| 700 1# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Esparza, Javier. |
| 9 (RLIN) | 42586 |
| 700 1# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Michaux, Christian. |
| 9 (RLIN) | 42587 |
| 700 1# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Steinhorn, Charles. |
| 9 (RLIN) | 42588 |
| 830 #0 - المدخل الاضافى بالسلسلة -عنوان موحد | |
| عنوان موحد | London Mathematical Society lecture note series ; |
| رقم المجلد/ التعيين التسلسلي | 379. |
| 9 (RLIN) | 42589 |
| 856 42 - الوصول و الموقع الالكترونى | |
| مواد محددة | Cover image |
| معرف المصدر الموحد | <a href="http://assets.cambridge.org/97805217/18202/cover/9780521718202.jpg">http://assets.cambridge.org/97805217/18202/cover/9780521718202.jpg</a> |
| 906 ## - عنصر بيانات محلى F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | orignew |
| d | 1 |
| e | ecip |
| f | 20 |
| g | y-gencatlg |
| 942 ## - عناصر المدخل الإضافي( كوها) | |
| مصدر التصنيف او مخطط الترفيف | Dewey Decimal Classification |
| Koha [default] item type | DVD |
| حالة الفقد | نموذج السعر الفعال | حالة تلف | ليس للاعارة | رقم الطلب | تاريخ الاكتساب | الموقع الحالي | الفرع الرئيسي | Date last seen | نوع المادة فى نظام كوها | مصدر التصنيف او خطة الترفيف | Total Checkouts |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 2014-01-27 | 511.34 FIA | 2014-01-27 | المكتبة المركزية بالمجمعة (CL) | المكتبة المركزية بالمجمعة (CL) | 2014-01-27 | كتاب | Dewey Decimal Classification |