عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Conditional and preferential logics
پدید آورنده
Gian Luca Pozzato
موضوع
Logic, Symbolic and mathematical,Proof theory
رده
QA
,
9
,.
P65
,
2010
کتابخانه
كتابخانه دانشگاه صنعتي اروميه
محل استقرار
استان:
أذربایجان الغربیة
ـ شهر:
أرومیة
تماس با کتابخانه :
31980284
-
044
9781607500, 1607500949
English Book
Conditional and preferential logics
proof methods and theorem proving
Gian Luca Pozzato
Amsterdam ; Washington, DC
IOS Press,
2010
viii, 200 p. :ill.
Includes bibliographical references (p. 193-200).
Logic, Symbolic and mathematical
Proof theory
QA
,
9
,.
P65
,
2010
Pozzato, Gian Luca.
Title
Series: Frontiers in artificial intelligence and applications ;v. 208.
Series: Frontiers in artificial intelligence and applications.Dissertations in artificial intelligence.
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح