Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Estudios de la Lógica :: Historia de la Lógica
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   11-03-2008
*Título   Diagonalisation and Church´s thesis: Kleene´s Homework
*Autor   Enrique Alonso y María manzano
*Fecha de creación   11-03-2005
Página Web  
*Idioma   Inglés/English
*Formato   .pdf (Adobe)
*Claves Algoritmo
Cálculo lambda
Church
Computable
Decidible
Diagonalizacion
Kleene
Turing
Tipo Título Archivo Opciones
Resumen Diagonalisation Páginas_desdeTHPL100433.pdf
Documento Diagonalisation... THPL100433.pdf

     << Atras