Aranda Benito, Roberto
Universidad Autónoma de Guerrero
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).