Laureano Luna es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 0 votos
Lógica modal: justificación de la regla de necesidad
el 7 de Octubre, 2017 0 votos - 0 votos
¿Resolver el problema de detención para *casi* todas las máquinas?
el 13 de Noviembre, 2016 0 votos
Etiquetas favoritas
- 1 x computability
- 1 x turing-machines
- 1 x logic