Constraint Solving and Planning with Picat

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

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

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

230.86 zł

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

Informacje o książce

Autor

Neng-Fa Zhou, Jonathan Fruhman, Hakan Kjellerstrand

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2015

strony

148

EAN

9783319258812

ISBN

3319258818

Enbook ID

09545800

Wydawca

Springer International Publishing AG

Waga

2526

Wymiary

155 x 235 x 6

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Constraint Solving and Planning with Picat

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również