Home

    You are here

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

Thesis Defended: 
No
Director: 
Climent Vidal, Juan Blas
Institution: 
universidad de Valencia