Datos de la asignatura en UXXI

Código Asignatura UXXI:

300676

Créditos ECTS:

5.00

Créditos Teóricos:

5.00

Nombre en inglés:

DEMOSTRACIÓN AUTOMÁTICA PARA EXTENSIONES DE LA LÓGICA CLÁSICA