عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Using sophisticated models in resolution theorem proving
پدید آورنده
Sandford, David M.
موضوع
، Automatic theorem proving,، Mathematics - Data processing
رده
QA
76
.
L4
v
.
90
کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان
محل استقرار
استان:
کرمان
ـ شهر:
کرمان
تماس با کتابخانه :
03433257204
English
Using sophisticated models in resolution theorem proving
Berlin, New York
Springer-Verlag
1980
xi, 239 p. ; 25 cm
Lecture notes in computer science, 09
Revision of thesis )Ph. D.(
Bibliography: p. 229-233
Bibliography: p. )229(-233
Includes index
David M. Sandford
1
، Automatic theorem proving
، Mathematics - Data processing
QA
76
.
L4
v
.
90
CA
511
.
3
Sandford, David M.
AU
TI
SE
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح