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:

Detalles Bibliográficos
Autor principal:	Díaz, Marcio Oscar
Otros Autores:	Areces, Carlos Eduardo
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2023
Materias:	Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic
Acceso en línea:	http://hdl.handle.net/11086/549061
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.

Ejemplares similares