Résultats de la recherche
Aller à la navigation
Aller à la recherche
- ...générale : "Introduction à la Logique Théorie de la démonstration" de René David, Karim Nour et Christophe Raffalli ; édité par Dunod. (Voir [http://www.9 kio (1 495 mots) - 20 février 2008 à 17:38
- * [Raf02a] ''Computer Assisted Teaching in Mathematics'', with René David, to appear in the proceedings of the Workshop on 35 years of Automath (Apri * [Raf01c] ''Apprentissage du raisonnement assité par ordinateur'', avec René David, Quadrature numéro 45, printemps 2002, pages 25-36). Version courte parue69 kio (10 830 mots) - 13 janvier 2011 à 11:35