Home
Program
Research Lines
Research Projects
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
History
Enrollment
Admission profile, tutor and director
Pre-enrolment & Enrolment
Dedication System
Lecturers
Antiguo Profesorado
Profesorado
Profesorado Externo
Thesis
Documents PhD Activities
Research Plan
Educational Activities
Deposit & Defense
International PhD
Doctorandos EN
PhD Students
Alumni
PhD Thesis
Defended PhD Thesis
Current PhD Thesis
Encuentros de Doctorado EN
Normativa EN
Scholarships
Useful Info
Contact
You are here
Assumpcio Casanova Faus
Assumpcio Casanova Faus
Research Area:
Argumentación y Lógica
Institution:
Universidad de Valencia
Programa:
Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia (99/2011)
Director/a Doctorado:
Alcolea Banegas, Jesús
PhD Thesis:
Un algoritmo para la transformación de demostraciones desde Eliminación de Modelos a un sistema dirigido al humano
