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

PhD Student:

Assumpcio Casanova Faus

Tutor:

Alcolea Banegas, Jesús

Director:

Climent Vidal, Juan Blas

Institution:

universidad de Valencia