Diagnostificador de programas Prolog puro con negacion por falla

Sinodales:
DAVID ARTURO ROSENBLUETH LAGUETTE;
Autores:
Mancilla Rosales, Alejandro
Tipo de tesis:
Tesis de Licenciatura
Entidad presentadora de examen profesional:
Facultad de Ingeniería
Entidades por adscripción en la UNAM: