Une vue méthodologique de la Programmation en Logique avec négation

Pierre Deransart, Gérard Ferrand. Une vue méthodologique de la Programmation en Logique avec négation. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 403, 1989.

Abstract

Abstract is missing.