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

dans Afficher les fiches par  
10 fiches trouvées

12019 Quadrature. Num. 111. p. 25-30. Nombres premiers, Euclide et Coq.
22018 Tangente Hors-série. Num. 68. Intelligence artificielle.
32017 Quadrature. Num. 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
42014 Bibliothèque Tangente. Num. 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
52014 Bibliothèque Tangente. Num. 52. Mathématiques et informatique.
62014 Tangente Hors-série. Num. 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
72014 Tangente Hors-série. Num. 52. L'informatique riche des maths.
82002 Quadrature. Num. 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
91979 L'Ouvert. Num. 17.Ressource en ligne
101979 L'Ouvert. Num. 17. p. 3-7. La preuve par ordinateur.Ressource en ligne