Accueil Publimath  Aide à la recherche  Requête : "assistant de preuve"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
9 fiches trouvées

12018 Tangente Hors-série. Num. 68. Intelligence artificielle.
22017 Quadrature. Num. 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
32014 Bibliothèque Tangente. Num. 52. Mathématiques et informatique.
42014 Bibliothèque Tangente. Num. 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
52014 Tangente Hors-série. Num. 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
62014 Tangente Hors-série. Num. 52. L'informatique riche des maths.
72002 Quadrature. Num. 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
81979 L'Ouvert. Num. 17.Ressource en ligne
91979 L'Ouvert. Num. 17. p. 3-7. La preuve par ordinateur.Ressource en ligne