Logical Foundations of Proof Complexity

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

Detalles Bibliográficos
Autores principales: Cook, Stephen, Nguyen, Phuong
Lenguaje:eng
Publicado: Cambridge University Press 2010
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/1413160
Descripción
Sumario:A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.

Ejemplares similares