
|
Logic programming
by
Yves Deville
Addison-Wesley, 1990
|
|
Logic Program Synthesis and Transformation
by
Yves Deville
Springer, January 1994
|
|
Numerica
by
Pascal Van Hentenryck, Laurent Michel, Yves Deville
The MIT Press, April 18, 1997
Paperback
|