عنوان
پدید آورنده
موضوع
رده
P 39 .L644 2015 E-Book ,
P
39
.
L644
2015
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783662477083
شماره کتابشناسی ملی
شماره
11802
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Logic, language, information, and computation
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
نام نخستين پديدآور
\ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
xx,[200] p
فروست
عنوان فروست
Lecture Notes in Computer Science
مشخصه جلد
; 9160
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
.Language and logic -- Congresses.
موضوع مستند نشده
Symbolic and Algebraic Manipulation.
موضوع مستند نشده
Mathematical Logic and Formal Languages
موضوع مستند نشده
زبان و منطق -- کنگره ها
موضوع مستند نشده
منطق ریاضی و زبانهای صوری
رده بندی کنگره
شماره رده
P
39
نشانه اثر
.
L644
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
De Paiva, Valeria
مستند نام اشخاص تاييد نشده
Queiroz, Ruy J. G. B. de
مستند نام اشخاص تاييد نشده
کیروس، روی ج. جی. بی. د
مستند نام اشخاص تاييد نشده
Moss, Lawrence Stuart, 1959-
مستند نام اشخاص تاييد نشده
Leivant, Daniel Maurice Raphaël
مستند نام اشخاص تاييد نشده
Oliveira, Anjolina G. de
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Workshop on Logic, Language, Information and Computation (22nd : 2015 : Bloomington, Ind.)
مبدا اصلی
کشور
ایران
تاريخ عمليات
20161006
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783662477083.pdf
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
