دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Logic Programming: Theory, Systems, and Applications
دانلود کتاب برنامه نویسی منطقی اعلامی: نظریه، سیستم ها و کاربردها
مشخصات کتاب
Declarative Logic Programming: Theory, Systems, and Applications
ویرایش:
نویسندگان: Michael Kifer and Yanhong Annie Liu
سری: ACM Books #20
ISBN (شابک) : 9781970001983
ناشر: Association for Computing Machinery and Morgan & Claypool Publishers
سال نشر: 2018
تعداد صفحات: 615
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Declarative Logic Programming: Theory, Systems, and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی اعلامی: نظریه، سیستم ها و کاربردها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Contents Preface Part I. THEORY 1. Datalog: Concepts, History, and Outlook 2. An Introduction to the Stable and Well-Founded Semantics of Logic Programs 3. A Survey of Probabilistic Logic Programming Part II. SYSTEMS 4. WAM for Everyone: A Virtual Machine for Logic Programming 5. Predicate Logic as a Modeling Language: The IDP System 6. SolverBlox: Algebraic Modeling in Datalog Part III. APPLICATIONS 7. Exploring Life: Answer Set Programming in Bioinformatics 8. State-Space Search withTabled Logic Programs 9. Natural Language Processing with (Tabled and Constraint) Logic Programming 10. Logic Programming Applications: What Are the Abstractions and Implementations? Index Biographies
