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

عنوان
Logic for Programming, Artificial Intelligence, and Reasoning

پدید آورنده
/ Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

موضوع
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS

رده
E-BOOK

کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية

محل استقرار
استان: أذربایجان الشرقیة ـ شهر:

المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية

تماس با کتابخانه : 04133443834

9783662488997

IR
EN-5813

انگلیسی

IR

Logic for Programming, Artificial Intelligence, and Reasoning
[Book]
/ Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Springer
, 2015.

Electronic

COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS

E-BOOK

Martin Davis

ایران

Logic for Programming, Artificial Intelligence, and Reasoning
عادی
محرمانه
1000189.pdf
متن

old catalog

e

BL
1

a
Y

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

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