توضیحات
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.
The book is useful for undergraduate and graduate students, researchers, and practitioners.
————————————————————–
ترجمه ماشینی :
این کتاب یک زبان برنامه نویسی چند پارادایم مبتنی بر منطق جدید را معرفی می کند که برنامه نویسی منطقی، برنامه نویسی تابعی، برنامه نویسی پویا با جدول گذاری و اسکریپت را برای استفاده در حل مشکلات جستجوی ترکیبی، از جمله CP، SAT، و MIP ادغام می کند. ماژولهای حلکننده مبتنی بر (برنامهنویسی عدد صحیح مختلط)، و ماژولی برای برنامهریزی که با استفاده از جدولسازی اجرا میشود.
این کتاب برای دانشجویان، محققان و متخصصان در مقطع کارشناسی و کارشناسی ارشد مفید است.
tag : دانلود کتاب حل محدودیت و برنامه ریزی با Picat , Download حل محدودیت و برنامه ریزی با Picat , دانلود حل محدودیت و برنامه ریزی با Picat , Download Constraint Solving and Planning with Picat Book , حل محدودیت و برنامه ریزی با Picat دانلود , buy حل محدودیت و برنامه ریزی با Picat , خرید کتاب حل محدودیت و برنامه ریزی با Picat , دانلود کتاب Constraint Solving and Planning with Picat , کتاب Constraint Solving and Planning with Picat , دانلود Constraint Solving and Planning with Picat , خرید Constraint Solving and Planning with Picat , خرید کتاب Constraint Solving and Planning with Picat ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.