MPG.eBooks - Author Search Results

Cover Image

1

Constraint Solving and Planning with Picat

by Zhou, Neng-Fa, Kjellerstrand, Håkan, Fruhman, Jonathan
Published 2015

Springer International Publishing

Cover Image

2

Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Zhou, Neng-Fa...”