TY - THES DP - http://www.theses.fr/1986NAN10387 TI - Méthodes de filtrage équationnel et de preuve automatique de théorèmes AU - Mzali, Jalel A3 - Jouannaud, Jean-Pierre PY - 1986 SP - 1 vol. (206 p.) N1 - Thèse de doctorat Sciences appliquées Nancy 1 1986 N1 - 1986NAN10387 ER -