Author Search Results

1

Cover Image

Constraint Solving and Planning with Picat

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

View full text

Electronic eBook

2

Cover Image

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

Published 2012

Other Authors: “...Zhou, Neng-Fa....”
View full text

Electronic eBook