1979 L’Ouvert. N° 17.
Auteur : IREM de Strasbourg L'Ouvert. Dir.
assistant de preuve
Il y a 14 résultats avec cette recherche.
-
-
2018 Tangente Hors-série. N° 68. Intelligence artificielle.
Auteur : Cohen Gilles. Dir.
-
2019 BibliothÚque Tangente. N° 68. Intelligence artificielle.
Auteur : Cohen Gilles. Dir.
-
2020 Tangente. N° 197. p. 17-17. Lean : un forum collaboratif.
Auteur : Dupas Jean-Jacques
-
2016 Maths Société express. Informatique et mathématiques, un partenariat gagnant. p. 15-20.
Auteur : Berry GĂ©rard
-
2014 Tangente Hors-sĂ©rie. N° 52. p. 34-36. DĂ©monstration : l’ordinateur Ă la rescousse.
Auteur : FilliĂątre Jean-Christophe
-
2014 BibliothĂšque Tangente. N° 52. DĂ©monstration : l’ordinateur Ă la rescousse. p. 76-79.
Auteur : FilliĂątre Jean-Christophe
-
1979 L’Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
Auteurs : Cartier Pierre ; Martinet Jean
-
2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
Auteur : Alvarez Aurélien
-
2002 Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
Auteurs : Raffalli Christophe ; David René
-
2019 Quadrature. N° 111. p. 25-30. Nombres premiers, Euclide et Coq.
Auteur : Alvarez Aurélien