• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Functional and constraint logic programming :

پدید آورنده
Julio Mariño (edition)

موضوع
Logic programming, Congresses,Mathematical Logic and Formal Languages

رده
QA76
.
63
.
W45
2011

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

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

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

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

شابک

شابک
3642207758
شابک
9783642207754
شابک اشتباه
364220774X
شابک اشتباه
9783642207747

شماره کتابشناسی ملی

شماره
b434118

عنوان و نام پديدآور

عنوان اصلي
Functional and constraint logic programming :
نام عام مواد
[Book]
ساير اطلاعات عنواني
19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers /
نام نخستين پديدآور
Julio Mariño (edition)

مشخصات ظاهری

نام خاص و کميت اثر
1 online resource (viii, 173 pages)

فروست

عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
6559
شاپا ي ISSN فروست
0302-9743 ;

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliographical references and author index

یادداشتهای مربوط به خلاصه یا چکیده

متن يادداشت
This book contains a selection of the papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented¡ by a full-length invited talk by the workshop's guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications

ویراست دیگر از اثر در قالب دیگر رسانه

عنوان
Functional and constraint logic programming.

عنوان اصلی به زبان دیگر

عنوان اصلي به زبان ديگر
WFLP 2010

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Logic programming, Congresses
موضوع مستند نشده
Mathematical Logic and Formal Languages

رده بندی ديویی

شماره
005
.
1/15
ويراست
23

رده بندی کنگره

شماره رده
QA76
.
63
نشانه اثر
.
W45
2011

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Mariño, Julio

نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام تنالگان تاييد نشده
WFLP 2010(2010 :, Madrid, Spain)

مبدا اصلی

تاريخ عمليات
20170726082119.0
قواعد فهرست نويسي ( بخش توصيفي )
pn

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال