K.-K Lau

5 published titles

Linear programming : a computational approach

1 edition

Linear programming

1 edition

Logic program synthesis and transformation : proceedings of LOPSTR 91,International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991

(Contributor)

1 edition

Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 : sponsored by the

(Contributor)

1 edition

Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

(Contributor)

1 edition