Aide à la recherche
Requête :
"théorème PCP"
Chercher
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
4 fiches trouvées
1
2015 Bibliothèque Tangente. N° 55. Le "petit" théorème PCP. p. 148-151.
2
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
3
2015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
4
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.