|  |
 |
| Artikel-Nr.: 5667A-9783319258812 Herst.-Nr.: 9783319258812 EAN/GTIN: 9783319258812 |
| |
|
|  |  |
 | Constraint Solving and Planning with Picat Weitere Informationen:  |  | Author: | Neng-Fa Zhou; Håkan Kjellerstrand; Jonathan Fruhman | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Combinatorial Search, Constraint Programming (CP), Dynamic Programming, Functional Programming, Heuristics, Logic Programming, Mixed-Integer Programming (MIP), Picat, SAT, Scripting, Tabling |
|  |  |
| |