عنوان
پدید آورنده
موضوع
رده
BC199 .M6,A38 1998
BC199
.
M6
,
A38
1998
کتابخانه
محل استقرار
شابک
شابک اشتباه
1575861038 157586102X 9812381791
شماره کتابشناسی ملی
کد کشور
IR
شماره
EB189
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Advances in modal logic
نام عام مواد
[Electronic Resource]
نام نخستين پديدآور
/ edited by Marcus Kracht ... [et al.]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Stanford, Calif.
نام ناشر، پخش کننده و غيره
: CSLI Publications,
تاریخ نشرو بخش و غیره
, c1998-.
مشخصات ظاهری
نام خاص و کميت اثر
v.
ساير جزييات
:<1-3 > ill. 23 cm.
فروست
عنوان فروست
(CSLI lecture notes
مشخصه جلد
; 87, 119)
يادداشت کلی
متن يادداشت
Vol. 1 contains a selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996; v. 2 contains a selection of papers presented at the second AiML conference held at Uppsala University, Oct. 1998; v. 3 contains a selection of papers presented at the third AiML conference held at University of Leipzig, Oct. 2000.
متن يادداشت
Vol. 3 has publisher: New Jersey : World Scientific.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
ng
متن يادداشت
Includes bibliographical references and indexes.
فروست (داده ارتباطی)
عنوان
CSLI lecture notes ;no. 87, 119
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Modality (Logic)- Congresses
رده بندی ديویی
شماره
160
رده بندی کنگره
شماره رده
BC199
نشانه اثر
.
M6
,
A38
1998
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Kracht, Marcus
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
1575861038.djvu
شماره دسترسي
محرمانه
اطلاعات مختصر
محرمانه
نام الکترونيکي
1575861038.djvu
بيت در ثانيه
0
ارتباط براي تسهيلات دسترسي
مدیر
نوع فرمت الکترونيکي
متن
اندازه فايل
0
شماره کنترل رکورد
MARC82860
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
