2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
théorème PCP
Il y a 4 résultats avec cette recherche.
-
2015 Bibliothèque Tangente. N° 55. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas
-
2015 Bibliothèque Tangente. N° 55. Le « petit » théorème PCP. p. 148-151.
Auteur : Schabanel Nicolas
-
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
Auteur : Schabanel Nicolas