1
Program Development in Computational Logic [E-Book] : A Decade of Research Advances in Logic-Based Program Development /
Other Personal Name(s): “...Lau, Kung-Kiu....”

Full text 
Favorites
Saved in:
2
Logic Based Program Synthesis and Transformation [E-Book] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers /
Other Personal Name(s): “...Lau, Kung-Kiu....”

Full text 
Favorites
Saved in:
3
Computational Logic — CL 2000 [E-Book] : First International Conference London, UK, July 24–28, 2000 Proceedings /
Other Personal Name(s): “...Lau, Kung-Kiu....”

Full text 
Favorites
Saved in:

Narrow Search Results