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

Creative Commons License



El registro pertenece a las siguientes colecciones:
trabajos-academicos-universidad-zaragoza > centro > facultad-de-ciencias
trabajos-academicos-universidad-zaragoza > trabajos-fin-grado



Retour à la recherche

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)