| DETAIL SUR L'OUVRAGE | ||
|---|---|---|
Logical Foundations of Proof Complexity
|
Auteur: Stephen Cook, Phuong Nguyen ISBN: 978-0-511-67716-8 Maison Ed.: Cambridge university press Ville Ed.: New York Année Ed.: 2010 Domaine: Mathématiques Rayon: C Catégorie: Livre |
- Ouvrir le fichier |
