عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
1: Exploring the power of automated reasoning /
پدید آورنده
Larry Wos ; Gail W. Pieper.
موضوع
رده
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
9810249969
b504844
1: Exploring the power of automated reasoning /
[Book]
Larry Wos ; Gail W. Pieper.
Singapore
:
World scientific,
2000
XVII, 827 p. ;
23 cm.
The collected works of Larry Wos
1
Wos, Larry
Pieper, Gail W.
20010117000000.0
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح