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 e mais 4 · Estudios y Perspectivas Revista Científica y Académica
Informação declarada nos metadados de artigos publicados por cada revista (OAI-PMH).