root.skip-to-content
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Comunidades
Listar por
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Inicio
Investigación
Escuela de Ciencias Aplicadas e Ingeniería
Lógica y Computación
Documentos de trabajo (working papers)
Examinar por materia
Documentos de trabajo (working papers)
URI permanente para esta colección
https://hdl.handle.net/10784/4548
Examinar
Envíos recientes
Por fecha de publicación
Por autor
Por titulo
Por materia
Por tipo de documento
Por categoría
Envíos recientes
Por fecha de publicación
Por autor
Por titulo
Por materia
Por tipo de documento
Por categoría
Examinando Documentos de trabajo (working papers) por Materia
Examinar
Mostrando
1 - 20 de 28
Resultados por página
1
5
10
20
40
60
80
100
Opciones de ordenación
Ascendente
Descendente
Asistente de pruebas
1
asistente de pruebas
1
automatic theorem provers
2
Axiom of choice
1
AXIOMA DE ELECCIÓN
1
AXIOMAS
1
Axioms
1
Continuations
1
corrección
1
first-order logic
3
formalización
1
functor
1
Inductive Types
1
Logic, symbolic and mathematical
1
LÓGICA SIMBÓLICA Y MATEMÁTICA
1
MATEMÁTICAS
1
Mathematics
1
mónadas
2
Positive Types
1
Programación funcional
1
«
1
(current)
2
»