This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Sheaves, Games, and Model Completions :
"
by Silvio Ghilardi, Marek Zawadowski.
Document Type
:
BL
Record Number
:
776542
Doc. No
:
b596539
Main Entry
:
by Silvio Ghilardi, Marek Zawadowski.
Title & Author
:
Sheaves, Games, and Model Completions : : a Categorial Approach to Nonclassical Propositional Logics\ by Silvio Ghilardi, Marek Zawadowski.
Publication Statement
:
Dordrecht : Springer, 2002
Series Statement
:
Trends in Logic, Studia Logica Library, 14
Page. NO
:
(IX, 245 Seiten)
ISBN
:
940159936X
:
: 9789401599368
Subject
:
Artificial intelligence.
Subject
:
Logic.
Subject
:
Philosophy (General)
LC Classification
:
QA169.B975 2002
Added Entry
:
Marek Zawadowski
:
Silvio Ghilardi
https://lib.clisel.com/site/catalogue/776542
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن