Logic programming : systematic program development / Yves Deville.

Similar Items

• 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 / edited by Yves Deville.
  by: Deville, Yves
  Published: (1994)
• Logic programming proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye.
  Published: (2000)
• Logic programming proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish.
  Published: (1997)
• Logic programming proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck.
  Published: (1994)
• Logic programming proceedings of the twelfth International Conference on Logic Programming / edited by Leon Sterling.
  Published: (1995)