Verificación formal en acl2 del algoritmo de buchberger
Tesis doctoral de Inmaculada Medina Bulo En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar […]
Tesis doctoral de agustín Riscos fernández
Información academica agustín Riscos fernández. Tesis donde agustín Riscos fernández ha sido autor, director o parte del tribunal.
Teoría computacional (en acl2) sobre cálculos proposicionales
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y
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