| TAZ-TFG-2023-3695 |
Lógica formal, verificación automática de teoremas y asistentes de demostración
Paesa Lía, Carlos
Marco Buzunámiz, Miguel Ángel (dir.)
Universidad de Zaragoza,
CIEN,
2023
Matemáticas department, Geometría y Topología area
Graduado en Matemáticas
Tipo de Trabajo Académico: Trabajo Fin de Grado
Permalink:
El registro pertenece a las siguientes colecciones:
trabajos-academicos-universidad-zaragoza > centro > facultad-de-ciencias
trabajos-academicos-universidad-zaragoza > trabajos-fin-grado