Yves Deville
3 published titles
Logic programming : systematic program development
1 edition
- ISBN: 0201175762
- Addison-Wesley
- 1990
- Details
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
(Contributor)
1 edition
- ISBN: 3540198644
- Springer-Verlag
- 1994
- Details
Numerica : a modeling language for global optimization
(Contributor)
1 edition
- ISBN: 0262720272
- MIT Press
- 1997
- Details
