Teoria computacional (en pvs) de la programación logica y del analisis formal de conceptos

Tesis doctoral de María Jose Hidalgo Doblado Los objetivos principales de la tesis son la formalización de teorías matemáticas en […]

, , , , ,