Inicio

    Estás aquí

Un algoritmo para la transformación de demostraciones desde Eliminación de Modelos a un sistema dirigido al humano

Defendida: 
No
Director/a: 
Climent Vidal, Juan Blas
Institución: 
universidad de Valencia