Molina Ángel, Félix
Universidad Autónoma de Guerrero
1 artículo
ORCID 0000-0002-7834-1812
Desarrollo de una Herramienta Didáctica TautoTeacher, para la Demostración de un Razonamiento Lógico Formal, mediante Inferencia Semántica, en Lógica Computacional
Morales Chazari, Angel; Feliciano Morales, Severino; Aranda Benito, Roberto y 4 más · Estudios y Perspectivas Revista Científica y Académica
Información declarada en los metadatos de artículos que publica cada revista (OAI-PMH).