Vers une méthodologie de programmation en logique: A propos d une classe de problèmes

J. Durand, M. Rusinovitch. Vers une méthodologie de programmation en logique: A propos d une classe de problèmes. In SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. pages 91, 1986.

Abstract

Abstract is missing.