دانلود کتاب Declarative Logic Programming: Theory, Systems, and Applications
کتاب برنامه نویسی منطقی اعلامی: نظریه، سیستم ها و کاربردها نسخه زبان اصلی
دانلود کتاب برنامه نویسی منطقی اعلامی: نظریه، سیستم ها و کاربردها بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Declarative Logic Programming: Theory, Systems, and Applications
نام کتاب : Declarative Logic Programming: Theory, Systems, and Applications
عنوان ترجمه شده به فارسی : برنامه نویسی منطقی اعلامی: نظریه، سیستم ها و کاربردها
سری :
نویسندگان : Michael Kifer and Yanhong Annie Liu
ناشر : Association for Computing Machinery and Morgan & Claypool Publishers
سال نشر : 2018
تعداد صفحات : 615
ISBN (شابک) : 9781970001983
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 16 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
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