نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
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.
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد