Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Constraint Solving and Planning with Picat [electronic resource] / by Neng-Fa Zhou, H�akan Kjellerstrand, Jonathan Fruhman.

by Zhou, Neng-Fa [author.] | Kjellerstrand, H�akan [author.] | Fruhman, Jonathan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou.

by Russo, Claudio [editor.] | Zhou, Neng-Fa [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available