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

عنوان
<A> Computational Logic

پدید آورنده
\ Robert S. Boyer and J Strother Moore

موضوع
Automatic theorem proving.

رده
E-Book
,

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

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

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

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

:0121229505

32734

انگلیسی

Computational Logic
[electronic resources]
\ Robert S. Boyer and J Strother Moore

Saint Louis
: Academic Press
, 1979

xviii,420 p.

ACM Monograph.

Index
Bibliography

Automatic theorem proving.

E-Book
,

Boyer, Robert S

Moore, J Strother

ایران

0121229505.pdf

p

BL
279177
1

a
N

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

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