ورود به حساب کاربری

خرید کتاب Constraints in Computational Logics. Theory and Applications

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Constraints in Computational Logics. Theory and Applications

Constraints in Computational Logics. Theory and Applications

Constraints in Computational Logics. Theory and Applications
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

International Summer School, Ccl'99 GIF-Sur-Yvette, France, September 5-8, 1999 Revised Lectures

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Constraints in Computational Logics. Theory and Applications
International Summer School, Ccl'99 GIF-Sur-Yvette, France, September 5-8, 1999 Revised Lectures
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.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2006

نویسنده

Ralf Treinen

ناشر

Springer

شابک

9783540454069
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Constraint Networks

Constraint Networks

Christophe ...
20
هزار تومان
Ant Colony Optimization And Constraint Programming

Ant Colony Optimization And Constraint Programming

Christine S...
20
هزار تومان
Efficient Processing with Constraint-Logic Grammars Using Grammar

Efficient Processing with Constraint-Logic Grammars Using Grammar

Guido Minnen
20
هزار تومان
A Class of Algorithms for Distributed Constraint Optimization

A Class of Algorithms for Distributed Constraint Optimization

A. Petcu
20
هزار تومان
Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management

Ricardo Rocha
20
هزار تومان
Recent Advances In Constraints

Recent Advances In Constraints

Krzysztof R...
20
هزار تومان
Principles and Practice of Constraint Programming Cp 2011

Principles and Practice of Constraint Programming Cp 2011

Jimmy Lee
20
هزار تومان
The NCL Natural Constraint Language

The NCL Natural Constraint Language

Jianyang Zhou
20
هزار تومان
Principles and practice of constraint programming - CP 2012 : 18th international conference, CP 2012, Québec, Canada, October 8-12 2012 : proceedings

Principles and practice of constraint programming - CP 2012 : 18th international conference, CP 2012, Québec, Canada, October 8-12 2012 : proceedings

Michela Milano
20
هزار تومان
Recent Advances in Constraints

Recent Advances in Constraints

Barry O&#39...
20
هزار تومان
Integrated Methods for Optimization

Integrated Methods for Optimization

John N. Hooker
20
هزار تومان
Hybrid optimization : the ten years of CPAIOR

Hybrid optimization : the ten years of CPAIOR

Michela Mil...
20
هزار تومان
Principles of Constraint Programming

Principles of Constraint Programming

Krzysztof R...
20
هزار تومان
Functional and constraint logic programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, revised selected papers

Functional and constraint logic programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, revised selected papers

Josep Silva
20
هزار تومان
Integration of constraint programming, artificial intelligence, and Operations Research : 15th International Conference, CPAIOR 2018, Delft, the Netherlands, June 26-29, 2018, proceedings

Integration of constraint programming, artificial intelligence, and Operations Research : 15th International Conference, CPAIOR 2018, Delft, the Netherlands, June 26-29, 2018, proceedings

Willem-Jan ...
20
هزار تومان
Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming

John Hooker
20
هزار تومان
Principles and Practice of Constraint Programming - Cp 2003

Principles and Practice of Constraint Programming - Cp 2003

Francesca ...
20
هزار تومان
Einf Hrung in Die Constraint-Programmierung

Einf Hrung in Die Constraint-Programmierung

Armin Wolf
20
هزار تومان
Constraints in Computational Logics. Theory and Applications

Constraints in Computational Logics. Theory and Applications

Hubert et a...
20
هزار تومان
Constraint-Based Agents

Constraint-Based Agents

Alexander N...
20
هزار تومان
Programming Constraint Services

Programming Constraint Services

Christian S...
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن