PROGRAMMATION LOGIQUE INDUCTIVE ET MODELISATION DE L'APPRENANT : APPLICATION A L'ANALYSE DES ERREURS DE RAISONNEMENT CHEZ L'APHASIQUE / Emmanuel Siou ; sous la direction de M.-O. Cordier / Grenoble : Atelier national de reproduction des thèses , 1994