The computational complexity of logical theories

Detalles Bibliográficos
Autores principales: Ferrante, Jeanne, Rackoff, Charles W
Lenguaje:eng
Publicado: Springer 1979
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/BFb0062837
http://cds.cern.ch/record/1690709
Descripción
Descripción no disponible.

Ejemplares similares