Yves Deville profile picture

Yves Deville

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Logic Programming: Systematic Program Development
Logic Program Synthesis and Transformation
Logic Program Synthesis and Transformation Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
Logic Program Synthesis and Transformation Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993