A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'propositional proof complexity'
Affiner la recherche Générer le flux rss de la recherche
Forcing with random variables and proof complexity / Jan Krajicek
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22219 03C191 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 22220 03C191 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible