
QR-код документа
>
Neng-Fa Zhou
Constraint Solving and Planning with Picat [Электронный ресурс] / Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman. - Электроные текстовые данные. - 1007/978-3-319-25883-6. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-25883-6. - (SpringerBriefs in Intelligent Systems)
. - ISBN 9783319258836
Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- Theory of Computation -- Data Mining and Knowledge Discovery -- книги издательства Springer