Logical Foundations of Proof Complexity.

Mostrar otras versiones (1)

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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Cook, Stephen, 1948-
Otros Autores: Nguyen, Phuong, 1977-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Leiden : Cambridge University Press, 2010.
Temas:
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
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares