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

dans Afficher les fiches par  
11 fiches trouvées

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