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:	MX 2024
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000861719 http://132.248.9.195/ptd2024/jul_sep/0861719/Index.html

Ejemplares similares