• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
Functional and constraint logic programming :

پدید آورنده
Josep Silva (ed.).

موضوع
Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.

رده
QA76
.
62

کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی

محل استقرار
استان: قم ـ شهر: قم

کتابخانه مطالعات اسلامی به زبان های اروپایی

تماس با کتابخانه : 32910706-025

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

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال