Functional and Logic Programming Functional and Logic Programming

Functional and Logic Programming

    • ‏69٫99 US$
    • ‏69٫99 US$

وصف الناشر

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٠٨
٥ أبريل
اللغة
EN
الإنجليزية
عدد الصفحات
٣٥١
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
١٥٫٥
‫م.ب.‬
Automated Reasoning Automated Reasoning
٢٠٠٨
Automated Reasoning Automated Reasoning
٢٠١٠
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
٢٠١١
Automated Deduction – CADE-21 Automated Deduction – CADE-21
٢٠٠٧
Functional and Logic Programming Functional and Logic Programming
٢٠١٠
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
٢٠٠٧