Algoritmo de satisfacción para lógicas multimodales con inversas

Detalles Bibliográficos
Autor principal: Medina Martínez, Diego Roberto
Otras Contribuciones: Bárcenas Patiño, Ismael Everardo (Asesor)
Formato: Tesis de maestría
Publicado: México 2024
Materias:
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000861719
https://tesiunamdocumentos.dgb.unam.mx/ptd2024/jul_sep/0861719/Index.html

Ejemplares similares