نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Sheaves, Games, and Model Completions :
پدید آورنده
by Silvio Ghilardi, Marek Zawadowski.
موضوع
Artificial intelligence.,Logic.,Philosophy (General)
رده
QA169
.
B975
2002
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
940159936X
شابک
9789401599368
شماره کتابشناسی ملی
شماره
b596539
عنوان و نام پديدآور
عنوان اصلي
Sheaves, Games, and Model Completions :
نام عام مواد
[Book]
ساير اطلاعات عنواني
a Categorial Approach to Nonclassical Propositional Logics
نام نخستين پديدآور
by Silvio Ghilardi, Marek Zawadowski.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2002
مشخصات ظاهری
نام خاص و کميت اثر
(IX, 245 Seiten)
فروست
عنوان فروست
Trends in Logic, Studia Logica Library, 14
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Philosophy (General)
رده بندی کنگره
شماره رده
QA169
نشانه اثر
.
B975
2002
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Silvio Ghilardi, Marek Zawadowski.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Marek Zawadowski
مستند نام اشخاص تاييد نشده
Silvio Ghilardi
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد