Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski

Christian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure. Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. In SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. pages 553-570, 1986.

Abstract

Abstract is missing.