Constraint Solving and Planning with Picat

Författare
Neng-Fa. Zhou
(Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer International Publishing, Imprint: Springer 2015 Tyskland, Cham XI, 148 sidor. 40 illus., 9 illus. in color. online resource. 978-3-319-25883-6