Buscar por Sustentante Hernández, Noé Salomón
Mostrando resultados 1 a 2 de 2
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
El contenido computacional de la lógica clásica a través de los cálculos λC Y λμ con tipos | Hernández, Noé Salomón | 2012 | |
Model checking based on the hidden markov model and its application to human-robot interaction | Hernández, Noé Salomón | 2014 |