• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة
  • ورود / ثبت نام

عنوان
Handbook of logic in computer science

پدید آورنده
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

موضوع
Computer science , Logic, Symbolic and mathematical

رده
QA
76
.
H2785
1992

کتابخانه

محل استقرار
استان: طهران ـ شهر: طهران



تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

CE

Handbook of logic in computer science

Oxford
Clarendon Press
1992-

v. : ill

Includes bibliographical references and indexes

Computer science
Logic, Symbolic and mathematical

QA
76
.
H2785
1992

TI
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

English

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال