Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Pais Falero, Jorge Andrés"'
Autor:
Pais Falero, Jorge Andrés
Publikováno v:
RAD | ORT
Universidad ORT Uruguay
instacron:Universidad ORT
Universidad ORT Uruguay
instacron:Universidad ORT
Incluye bibliografía. En la tesis se presenta el diseño e implementación, como EDSL embebido en Haskell, de un asistente de pruebas para el sistema de deducción natural de la lógica de primer orden. El asistente fue diseñado con el objetivo de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::b8ffa3524e0f66ff1cda024c4a009ecd
