Mots-clés – Auteurs

théorème PCP

Il y a 4 résultats pour cette recherche

2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
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. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas