Constraint Solving and Planning with Picat/Neng-Fa Zhou

 

QR-код документа

Оценок: 0


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