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

dans Afficher les fiches par  
8 fiches trouvées

12020 Repères-IREM. N° 121. p. 77-105. Du problème de Wang vers une nouvelle situation de recherche pour la classe.Ressource en ligne
22015 Bibliothèque Tangente. N° 55. Les démonstrations.
32015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
42015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
52011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
62011 De la méthode.
72007 Tangente. N° 117. p. 12-13. P=NP ?
82005 Repères-IREM, N°61. p. 91-103. Physique statistique et optimisation combinatoire.Ressource en ligne