LEADER 01797cam 22003733u 4500001 ssj0001584223 003 WaSeSS 005 20240412080346.0 006 m d 007 cr n 008 240412s2015 ||||||||s|||||||| ||||| d 035 (WaSeSS)ssj0001584223 040 WaSeSS |cWaSeSS |dWaSeSS 049 EREENEHH 100 1 Zhou, Neng-Fa. |?UNAUTHORIZED 245 10 Constraint Solving and Planning with Picat |h[electronic resource] / |cZhou, Neng-Fa. 250 1st ed. 2015. 260 [S.l.] : |bSpringer International Publishing, 500 Title from content provider. 506 Available only to authorized users. 538 Mode of access: World Wide Web 655 0 Electronic books. |=^A491897 700 1 Kjellerstrand, HÃ¥kan. |?UNAUTHORIZED 700 1 Fruhman, Jonathan. |?UNAUTHORIZED 856 40 |zFull text available from Springer Books |uhttps://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-319-25883-6 856 40 |zFull text available from Springer Nature - Springer Computer Science eBooks 2015 English International |uhttps://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-319-25883-6 949 CLICK ON WEB ADDRESS |wASIS |hJOYNER188 949 CLICK ON WEB ADDRESS |wASIS |hHSL77 949 CLICK ON WEB ADDRESS |wASIS |hJMUSIC60 596 1 3 4 998 4353390