- idUS
- Trabajos Académicos
- Tesis Doctorales
- Ciencias de la Computación e Inteligencia Artificial
- Listar Ciencias de la Computación e Inteligencia Artificial por autor
Listar 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. ...