Optimización de la traducción funcional para lógicas modales
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis biblioteca |
| Language: | spa |
| Published: |
2013-08-09
|
| Subjects: | Lógica matemática, Lógica modal, Lógica híbrida, Traducciones funcionales, Lógica de primer orden, Demostrador de teoremas, Mathematical logic, |
| Online Access: | http://hdl.handle.net/11086/549061 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|