Inicio
Programa
Líneas de Investigación
Proyectos de Investigación
Proy. Investigación en curso
Histórico de Proy. Investigación
Grupos de Investigacion
Comisiones
Comisión Académica
Comisión de Calidad
Comisión de Seguimiento
Historia
Matrícula
Perfil de ingreso, tutor y director
Preinscripción y Matrícula
Régimen de dedicación
Profesorado
Antiguo Profesorado
Profesorado
Profesorado Externo
Tesis
Documentos de Actividades del Doctorando (DAD)
Plan de Investigación
Actividades Formativas
Depósito y Defensa
Doctorado Internacional
Doctorandos
Doctorandos
Egresados
Tesis
Tesis Defendidas
Tesis en Curso
Encuentros de Doctorado
Normativa
Becas y Ayudas
Agenda
Contacto
Estás aquí
Assumpcio Casanova Faus
Assumpcio Casanova Faus
Línea de Investigación:
Argumentación y Lógica
Institución:
Universidad de Valencia
Programa:
Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia (99/2011)
Director/a Doctorado:
Alcolea Banegas, Jesús
Tesis:
Un algoritmo para la transformación de demostraciones desde Eliminación de Modelos a un sistema dirigido al humano
