Morales Chazari, Angel
Facultad de Ingeniería 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).