Constraint Solving and Planning with Picat

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

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

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 231 Kč

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

Informace o knize

Autor

Neng-Fa Zhou, Jonathan Fruhman, Hakan Kjellerstrand

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2015

Stránek

148

EAN

9783319258812

ISBN

3319258818

Enbook ID

09545800

Vydavatel

Springer International Publishing AG

Hmotnost

2526

Rozměry

155 x 235 x 6

Kompletní popis

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

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Constraint Solving and Planning with Picat

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také