Hernández Hernández, Mario
Tecnologico Nacional de Mexico Campus Acapulco
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).