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

Error inesperado del formato de respuesta.
Detalle de Existencias desde

Ejemplares similares