- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Tesis (Ciencias de la Computación e Inteligencia Artificial)
- Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por autor "Serrano Suárez, Fabián Fernando"
Mostrando ítems 1-1 de 1
-
Tesis Doctoral
Formalización en Isar de la metalógica de primer orden
Serrano Suárez, Fabián Fernando (2012-06-12)El objetivo del trabajo es formalizar razonamiento complejo de forma legible por los humanos y procesable por las máquinas. ...