Space in weak propositional proof systems

Detalles Bibliográficos
Autor principal: Bonacina, Ilario
Lenguaje:eng
Publicado: Springer 2018
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2664011

Internet

http://cds.cern.ch/record/2664011

Ejemplares similares