Buscar por Sustentante Miranda Perea, Favio Ezequiel
Mostrando resultados 1 a 2 de 2
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Fundamentos logicos del programa de razonamiento automatico Otter | Miranda Perea, Favio Ezequiel | 1999 | |
Una prueba de consistencia de la aritmetica de Peano, del tipo de Gentzen | Miranda Perea, Favio Ezequiel | 1997 |