9783319258812 - SpringerBriefs in Intelligent Systems Constraint Solving and Planning with Picat - Neng-Fa Zhou Håkan Kjellerstrand Jonathan Fruhman Kartoniert (TB)

EAN: 9783319258812

Produktdaten aktualisiert am: 24.11.2024
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: - 
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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783319258812
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum