Gestión mecanizada del conocimiento matemático en topología algebraica
Tesis doctoral de Jónatan Heras Vicente Esta tesis presenta una particularización de la gestión del conocimiento matemático (mathematical knowledge management) […]
Información academica Francisco Jesús Martín Mateos. Tesis donde Francisco Jesús Martín Mateos ha sido autor, director o parte del tribunal.
Tesis doctoral de Jónatan Heras Vicente Esta tesis presenta una particularización de la gestión del conocimiento matemático (mathematical knowledge management) […]
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y