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.
Guardado en:
| Autor principal: | Díaz, Marcio Oscar |
|---|---|
| Otros Autores: | Areces, Carlos Eduardo |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/549061 |
| Aporte de: |
Ejemplares similares
-
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016) -
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016) -
Ensayo de lógica modal /
por: Wright, Georg Henrik von
Publicado: (1970) -
Una introducción a la lógica modal /
por: Jansana Ferrer, Ramón
Publicado: (1990) -
Modal logic /
por: Chagrov, Alexander
Publicado: (1997)