Constraint Solving and Planning with Picat

Name: Constraint Solving and Planning with Picat
Brand: Springer International Publishing AG
SKU: 9783319258812
Price: 297.14 RON
Availability: InStock

Autor: Neng-Fa Zhou, Jonathan Fruhman, Hakan Kjellerstrand

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

297.14 lei

This book introduces a new logic-based multi-paradigm programming language that integrates logic pro...

Informații despre carte

Autor

Neng-Fa Zhou, Jonathan Fruhman, Hakan Kjellerstrand

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2015

Pagini

148

EAN

9783319258812

ISBN

3319258818

Enbook ID

09545800

Editura

Springer International Publishing AG

Greutate

2526

Dimensiuni

155 x 235 x 6

Descriere completă

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.§

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Constraint Solving and Planning with Picat

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și