دسته: برنامه نويسي
دانلود کتاب برنامه نویسی تابعی و منطقی: هفتمین سمپوزیوم بین المللی، FLOPS 2004، نارا، ژاپن، 7-9 آوریل 2004. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : برنامه نویسی تابعی و منطقی: هفتمین سمپوزیوم بین المللی، FLOPS 2004، نارا، ژاپن، 7-9 آوریل 2004. مجموعه مقالات
سری : Lecture Notes in Computer Science 2998
نویسندگان : Peter Selinger (auth.), Yukiyoshi Kameyama, Peter J. Stuckey (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2004
تعداد صفحات : 319
ISBN (شابک) : 354021402X , 9783540247548
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
این کتاب مجموعه مقالات داوری هفتمین سمپوزیوم بینالمللی برنامهنویسی عملکردی و منطقی، FLOPS 2004، در نارا، ژاپن، در آوریل 2004 است. مشارکت ها به دقت بررسی و از بین 55 مورد ارسالی انتخاب شدند. مقالات در بخشهای موضوعی در برنامهنویسی منطقی و عملکردی-منطقی، برنامههای کاربردی، تحلیل برنامه، بازنویسی، انواع و ماژولها، منطق و معناشناسی، و برنامهنویسی تابعی سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004.
The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.