2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
Ledent Jérémy
Il y a 4 résultats avec cette recherche.
Il y a 4 résultats avec cette recherche.
2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2015 Bibliothèque Tangente. N° 55. Des calculs à n’en plus finir. p. 104-107.
Auteur : Ledent Jérémy
Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2015 Bibliothèque Tangente. N° 55. La logique linéaire. p. 143-143.
Auteur : Ledent Jérémy