Neng-Fa Zhou – författare
Visar alla böcker från författaren Neng-Fa Zhou. Handla med fri frakt och snabb leverans.
4 produkter
Constraint Solving and Planning with Picat
Av Neng-Fa Zhou, Håkan Kjellerstrand m. fl.
Häftad, 2015
5,0 utav 5 stjärnor. Totalt antal röster: (2)
625 kr
Lägg i varukorg
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based …
Constraint Solving and Planning with Picat
Av Jonathan Fruhman, Hakan Kjellerstrand m. fl.
E-bok, 2015
821 kr
Lägg i varukorg
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based …
Practical Aspects of Declarative Languages
14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings
Av Claudio Russo, Neng-Fa Zhou
Häftad, 2011
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th Symposium on Principles of Programming Languages. The 38 revised technical …
Practical Aspects of Declarative Languages
14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings
Av Neng-Fa Zhou, Claudio Russo
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th Symposium on Principles of Programming Languages. The 38 revised technical …
