- العنوان: the computational complexity of logical theories rackoff,charles (jt.auth.)
- رقم التسجيل : 231989
- رقم التصنيف: 511.3 FC 4
- المؤلف: freeante,jeanne,1949
- الطبعة: 1st.ed.
- مكان النشر والناشر: N.Y. Apringer-Verlag
- تاريخ النشر: 1979
- عدد النسخ: 1
- رؤوس الموضوعات: /predicate calculus/ /computational complexity/
مساعدة - بحث جديد - الصفحة الرئيسية - English
نسخة تجريبية |
© جميع حقوق النشر محفوظة لجامعة بغداد / الامانة العامة للمكتبة المركزية 2012