عنوان
پدید آورنده
موضوع
رده
QA9.A1 W67 2019
QA9
.
A1
W67
2019
کتابخانه
محل استقرار
شابک
شابک
3662595338
شابک
9783662595336
شابک اشتباه
9783662595329
عنوان و نام پديدآور
عنوان اصلي
Logic, language, information, and computation :
نام عام مواد
[Book]
ساير اطلاعات عنواني
26th International Workshop, WoLLIC 2019, Utrecht, the Netherlands, July 2-5, 2019, proceedings /
نام نخستين پديدآور
Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (Eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Germany :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2019]
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource
فروست
عنوان فروست
FoLLI Publications on Logic, language and information
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11541
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Formal Logic. Computing. Programming Theory -- Natural Language -- Reasoning.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783662595336
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783662595329
شماره استاندارد بين المللي کتاب و موسيقي
9783662595343
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
WoLLIC 2019
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Language and logic, Congresses.
موضوع مستند نشده
Logic, Symbolic and mathematical, Congresses.
موضوع مستند نشده
Language and logic.
موضوع مستند نشده
Logic, Symbolic and mathematical.
رده بندی ديویی
شماره
005
.
13/1
ويراست
23
رده بندی کنگره
شماره رده
QA9
.
A1
نشانه اثر
W67
2019
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Iemhoff, Rosalie
مستند نام اشخاص تاييد نشده
Moortgat, Michael
مستند نام اشخاص تاييد نشده
Queiroz, Ruy J. G. B. de
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Workshop on Logic, Language, Information and Computation(26th :2019 :, Utrecht, Netherlands)
مبدا اصلی
تاريخ عمليات
20200823193514.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
