Cargando…

Proof complexity

Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.

Detalles Bibliográficos
Autor principal: Krajíček, Jan
Lenguaje:eng
Publicado: Cambridge University Press 2019
Materias:
Acceso en línea:http://cds.cern.ch/record/2675664
Descripción
Sumario:Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.