عنوان
پدید آورنده
موضوع
رده
QA76.62
QA76
.
62
کتابخانه
محل استقرار
شابک
شابک
3030162028
شابک
9783030162023
شابک اشتباه
9783030162016
عنوان و نام پديدآور
عنوان اصلي
Functional and constraint logic programming :
نام عام مواد
[Book]
ساير اطلاعات عنواني
26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised selected papers /
نام نخستين پديدآور
Josep Silva (ed.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2019.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (vii, 179 pages) :
ساير جزييات
illustrations (some color)
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11285
يادداشت کلی
متن يادداشت
Includes author index.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030162023
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
WFLP 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Constraint programming (Computer science), Congresses.
موضوع مستند نشده
Functional programming (Computer science), Congresses.
موضوع مستند نشده
Logic programming, Congresses.
موضوع مستند نشده
Constraint programming (Computer science)
موضوع مستند نشده
Functional programming (Computer science)
موضوع مستند نشده
Logic programming.
رده بندی ديویی
شماره
005
.
1/14
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
62
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Silva, Josep
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
WFLP (Workshop)(26th :2018 :, Frankfurt am Main, Germany)
مبدا اصلی
تاريخ عمليات
20200823085041.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
