Forcing with random variables and proof complexity / (رقم التسجيلة. 21732)
[ عرض عادي ]
| 000 -الفاتح | |
|---|---|
| حقل البيانات ثابتة الطول | 02315cam a22003494a 4500 |
| 001 - رقم الضبط | |
| رقم الضبط | 16429416 |
| 003 - محدد رقم الضبط | |
| رقم الضبط | OSt |
| 005 - وقت وتاريخ اخر تعامل مع التسجيلة | |
| رقم الضبط | 20150408114018.0 |
| 008 - عناصر البيانات ثابتة الطول - معلومات عامة | |
| حقل البيانات ثابتة الطول | 100823s2011 enka b 001 0 eng |
| 010 ## - رقم ضبط مكتبة الكونجرس | |
| رقم ضبط مكتبة الكونجرس | 2010036194 |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 9780521154338 |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 0521154332 (pbk.) |
| 035 ## - رقم ضبط النظام | |
| رقم ضبط النظام | (OCoLC)ocn664450704 |
| 040 ## - مصدر الفهرسة | |
| وكالة الفهرسة الأصلية | DLC |
| وكالة النسخ | DLC |
| وكالة التعديل | YDX |
| -- | YDXCP |
| -- | IXA |
| -- | CDX |
| -- | BWX |
| -- | DLC |
| 042 ## - رمز التحقق | |
| رمز التحقق | pcc |
| 050 00 - رقم طلب مكتبة الكونجرس | |
| رقم التصنيف | QA267.7 |
| رقم المادة | .K73 2011 |
| 082 00 - رقم تصنيف ديوى العشرى | |
| رقم التصنيف | 511.36 |
| رقم الطبعة | 22 |
| 100 1# - المدخل الرئيسى - إسم شخصى | |
| الإسم الشخصى | Krajíček, Jan |
| 9 (RLIN) | 14355 |
| 245 10 - بيان العنوان | |
| العنوان | Forcing with random variables and proof complexity / |
| بيان المسئوليه,etc | Jan Krajíček. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| مكان الناشر او الموزع | Cambridge, UK ; |
| -- | New York : |
| اسم الناشر او الموزع | Cambridge University Press, |
| تاريخ النشر أو التوزيع | 2011. |
| 300 ## - الوصف المادى | |
| التعداد | xvi, 247 p. : |
| تفاصيل ماديه اخرى للوعاء | ill. ; |
| أبعاد الوعاء | 23 cm. |
| 490 1# - بيان السلسلة | |
| عنوان السلسلة | London Mathematical Society lecture note series ; |
| رقم المجلد/ التعيين التسلسلي | 382 |
| 504 ## - تبصرة ببليوجرافية | |
| تبصرة ببليوجرافية,الخ | Includes bibliographical references (p. 236-242) and indexes. |
| 520 ## - التبصرة الخاصة بالتعليق أو التلخيص | |
| ملخص,الخ | "This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded arithmetics are closely related. In particular, proving lower bounds on the lengths of proofs in propositional proof systems is equivalent to constructing certain extensions of models of bounded arithmetic. This offers a clean and coherent framework for thinking about lower bounds for proof lengths, and it has proved quite successful in the past. This book outlines a brand new method for constructing models of bounded arithmetic, thus for proving independence results and establishing lower bounds for proof lengths. The models are built from random variables defined on a sample space which is a non-standard finite set and sampled by functions of some restricted computational complexity. It will appeal to anyone interested in logical approaches to fundamental problems in complexity theory"-- |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computational complexity. |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Random variables. |
| 9 (RLIN) | 14356 |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Mathematical analysis. |
| 9 (RLIN) | 4615 |
| 830 #0 - المدخل الاضافى بالسلسلة -عنوان موحد | |
| عنوان موحد | London Mathematical Society lecture note series ; |
| رقم المجلد/ التعيين التسلسلي | 382. |
| 9 (RLIN) | 14357 |
| 856 42 - الوصول و الموقع الالكترونى | |
| مواد محددة | Cover image |
| معرف المصدر الموحد | <a href="http://assets.cambridge.org/97805211/54338/cover/9780521154338.jpg">http://assets.cambridge.org/97805211/54338/cover/9780521154338.jpg</a> |
| 942 ## - عناصر المدخل الإضافي( كوها) | |
| مصدر التصنيف او مخطط الترفيف | Dewey Decimal Classification |
| Koha [default] item type | كتاب |
| حالة الفقد | نموذج السعر الفعال | حالة تلف | ليس للاعارة | رقم الطلب | تاريخ الاكتساب | الموقع الحالي | الباركود | الفرع الرئيسي | Date last seen | نوع المادة فى نظام كوها | مصدر التصنيف او خطة الترفيف | Total Checkouts |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2013-03-10 | 511.36 K J F | 2012-06-03 | مكتبة كلية التربية بالزلفى - طالبات (EZF) | 00088073 | مكتبة كلية التربية بالزلفى - طالبات (EZF) | 2013-03-10 | كتاب | Dewey Decimal Classification | ||||
| 2013-03-10 | 511.36 K J F | 2012-06-03 | مكتبة كلية التربية بالزلفى - طالبات (EZF) | 00088072 | مكتبة كلية التربية بالزلفى - طالبات (EZF) | 2013-03-10 | كتاب | Dewey Decimal Classification | ||||
| 2013-03-10 | 511.36 K J F | 2012-06-04 | مكتبة كلية التمريض - طالبات (CNF) | 00088062 | مكتبة كلية التمريض - طالبات (CNF) | 2013-03-10 | كتاب | Dewey Decimal Classification | ||||
| 2013-03-10 | 511.36 K J F | 2012-06-04 | مكتبة كلية التمريض - طالبات (CNF) | 00088063 | مكتبة كلية التمريض - طالبات (CNF) | 2013-03-10 | كتاب | Dewey Decimal Classification | ||||
| 2013-03-10 | 511.36 K J F | 2012-05-20 | مكتبة مجمع الطالبات بالمجمعة (EMF) | 00087705 | مكتبة مجمع الطالبات بالمجمعة (EMF) | 2013-03-10 | كتاب | Dewey Decimal Classification | ||||
| 2013-03-10 | 511.36 K J F | 2012-05-20 | مكتبة مجمع الطالبات بالمجمعة (EMF) | 00087717 | مكتبة مجمع الطالبات بالمجمعة (EMF) | 2013-03-10 | كتاب | Dewey Decimal Classification | ||||
| 2013-03-10 | 511.36 K J F | 2012-05-31 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 00087815 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 2013-03-10 | كتاب | Dewey Decimal Classification | ||||
| 2013-03-10 | 511.36 K J F | 2012-05-31 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 00087816 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 2013-03-10 | كتاب | Dewey Decimal Classification |