- idUS
- Listar por autor
Listar 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. ...