Buscar por Asesor Amor Montaño, José Alfredo
Mostrando resultados 1 a 3 de 3
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
![]() | Lógica de segundo orden y [omega]-modelos | Salinas Rodríguez, Mauricio | 2008 |
![]() | Un método general para la interdefinición de conectivos | Hernández Ortiz, Héctor | 2010 |
![]() | Una primera aproximacion a la demostracion automatica de teoremas | Ramirez Moguel, José Antonio | 1996 |