دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Constraints in Computational Logics. Theory and Applications CCL ’99
دانلود کتاب محدودیت ها در منطق محاسباتی. تئوری و کاربردها CCL '99
مشخصات کتاب
Constraints in Computational Logics. Theory and Applications CCL ’99
ویرایش:
نویسندگان: Hubert Comon Claude Marché Ralf Treinen (eds.)
سری:
ISBN (شابک) : 3540419500
ناشر: Springer
سال نشر: 2001
تعداد صفحات: 315
زبان: english
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
قیمت کتاب (تومان) : 61,000
در صورت تبدیل فایل کتاب Constraints in Computational Logics. Theory and Applications CCL ’99 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محدودیت ها در منطق محاسباتی. تئوری و کاربردها CCL '99 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محدودیت ها در منطق محاسباتی. تئوری و کاربردها CCL '99
محدودیت ها روشی را برای نمایش مجموعه های نامتناهی از داده ها ارائه می دهند. آنها برای ترکیب پارادایم های مختلف منطقی یا برنامه نویسی مناسب هستند، همانطور که برای برنامه نویسی منطق محدودیت از دهه 1980 و اخیراً برای برنامه نویسی تابعی شناخته شده است. استفاده از محدودیت ها در کسر خودکار جدیدتر است و ثابت شده است که بسیار موفقیت آمیز است و کنترل را از سطح متا به محدودیت ها منتقل می کند، که اکنون اشیاء درجه یک هستند. این کتاب مونوگراف مانند شش سخنرانی ارائه شده توسط محققان برجسته در مدرسه تابستانی سازماندهی شده توسط گروه کاری ESPRIT CCL در Gif-sur-Yvette، فرانسه، در سپتامبر 1999 ارائه میکند. حل، حل محدودیت بر اساس شرایط، ترکیب حل محدودیت، قیود و اثبات قضیه، برنامه نویسی منطق تابعی و محدودیت، و ساخت برنامه های صنعتی.
توضیحاتی درمورد کتاب به خارجی
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects. This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.
فهرست مطالب
Constraints and Constraint Solving: An Introduction....Pages 1-46
Constraint Solving on Terms....Pages 47-103
Combining Constraint Solving....Pages 104-158
Constraints and Theorem Proving....Pages 159-201
Functional and Constraint Logic Programming....Pages 202-270
Building Industrial Applications with Constraint Programming....Pages 271-309
نظرات کاربران
کتاب های تصادفی
دانلود کتاب BOLSHEVISM - AN INTERNATIONAL DANGER ITS DOCTRINE AND ITS PRACTICE THROUGH WAR AND REVOLUTION
دانلود کتاب Maidenheim: The Age of Scorn (Amazon Campign Setting) - Book I: Amazon Adventures (Maidenheim d20)(Fantasy Roleplaying)
دانلود کتاب Vampires, Mummies, and Liberals: Bram Stoker and the Politics of Popular Fiction
دانلود کتاب Salaam. Peace: An Anthology of Middle Eastern-American Drama
