عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Epistemic logic for AI and computer science
پدید آورنده
Meyer, John-Jules Ch.
موضوع
، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده
QA
76
.
M495
1995
کتابخانه
كتابخانه مركزي دانشگاه صنعتي شريف
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
66005817
-
021
144489
زمستان۶۸
English
)20(
Meyer, John-Jules Ch.
Epistemic logic for AI and computer science
Cambridge; New York
Cambridge University Press
1995
xiii, 354 p.: ill.; 26 cm
Cambridge tracts in theoretical computer science
41
Includes bibliographical references and index
، Computer science
، Artificial intelligence
، Logic, Symbolic and mathematical
QA
76
.
M495
1995
AU
J.-J. Ch. Meyer, W. van der Hoek
AU (red nav ebeiW) red nav .W ,keoH
TI
SE
02
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح