Logical Foundations of Proof Complexity.

Afficher d'autres versions (1)

A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Cook, Stephen, 1948-
Autres auteurs: Nguyen, Phuong, 1977-
Format: Électronique eBook
Langue:Inglés
Publié: Leiden : Cambridge University Press, 2010.
Sujets:
Computational complexity.
Proof theory.
Logic, Symbolic and mathematical.
Complexité de calcul (Informatique)
Théorie de la preuve.
Logique symbolique et mathématique.
Computational complexity
Logic, Symbolic and mathematical
Proof theory
Accès en ligne:Texto completo

Internet

Texto completo

Items no disponibles

Informations d'exemplaires de

Documents similaires