2002 Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur. Auteurs : Raffalli Christophe ; David René