TY - THES DP - http://www.theses.fr/1987LYO10130 TI - Les contraintes d'intégrité dans les systèmes déductifs : un outil de contrôle de leur cohérence et de leur évolution AU - Marie-Sainte, Yvon A3 - Kouloumdjian, Jacques PY - 1987 SP - 1 vol. (269 f.) N1 - Thèse de doctorat Sciences. Informatique et automatique appliquées Lyon 1 1987 N1 - 1987LYO10130 ER -