Du problème à sa solution, C. Pair, Institut national Polytechnique de lorraine, Nancy Ce texte a servi de base à un exposé aux journées "Logiques et programmation"
Du problème à sa solution, C. Pair, Institut national Polytechnique de lorraine, Nancy Ce texte a servi de base à un exposé aux journées "Logiques et programmation"