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

عنوان
Mathematical logic for computer science

پدید آورنده
Mordechai Ben-Ari

موضوع
Logic, Symbolic and mathematical

رده
QA9
.
B3955
2012eb

کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی

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

کتابخانه مطالعات اسلامی به زبان های اروپایی

تماس با کتابخانه : 32910706-025

1447141296 (electronic bk.)
9781447141297 (electronic bk.)
1447141288
9781447141280

dltt

Mathematical logic for computer science
[Book]
Mordechai Ben-Ari

3rd ed

New York :
Springer,
a2012

1 online resource (xv, 346 p.) :
ill

Includes bibliographical references and index

Mathematical logic for computer science.
9781447141280

OhioLINK electronic book center (Online)
SpringerLink

Logic, Symbolic and mathematical

511
.
3
23

QA9
QA9
.
B3955
2012eb
.
B3955
2012eb

Ben-Ari, M.,1948-

20130201101951.0

 مطالعه متن کتاب 

[Book]

Y

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

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