• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات

عنوان
A computational logic handbook

پدید آورنده
BOYER,ROBERT S

موضوع
AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL

رده
QA
76
.
9
.
A96
B684

کتابخانه

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



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

H1

BOYER,ROBERT S
A computational logic handbook

1988

AUTOMATIC THEOREM PROVING
LOGIC,SYMBOLIC & MATHEMATICAL

QA
76
.
9
.
A96
B684

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

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