Carte Constraint Solving and Planning with Picat Neng-Fa Zhou

Constraint Solving and Planning with Picat

Limbă: engleză
Legare: Carte broșată
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

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2015
Pagini
148
EAN
9783319258812
ISBN
3319258818
Enbook ID
09545800
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

Shoulder

Gazi Huri
915.48 lei

Marlins Cry a Phishing Story

Casey Tennyson Swann
107.86 lei

Checkpoint

timo christian
64.69 lei
284.56 lei

Adventures of Glow

NAKISHA WILSON
86.93 lei

Record of My Vinyl

Clarkson Potter
71.23 lei
75.26 lei

Dictionary Lao Zi's Dao De Jing

Dr Auke Jacominus Schade
126.98 lei

It's All Love

Jenna Ortega
72.74 lei

Time Has Grown Short

Trevor Cribben Merrill
124.66 lei
226.30 lei
62.68 lei
88.04 lei

Revelations

Jacques Vallee
158.17 lei

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

Guderne gar Amok

Rider Tiger Rider
164.31 lei
104.34 lei

Dcery naděje

Maria Nikolai
17.40 lei
96.59 lei
80.89 lei
85.02 lei

Prisão Preventiva

Paulo César Francisco
55.13 lei
300.66 lei
88.44 lei
56.34 lei
106.25 lei
143.78 lei

Romancero

Gracia Fernández
79.79 lei

Das Schloß

Franz Kafka
81.49 lei