Accueil Publimath  Aide à la recherche  Requête : "classe NP"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
5 fiches trouvées

12015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
22015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
32015 Bibliothèque Tangente. N° 55. Les démonstrations.
42011 De la méthode.
52011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.