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 and 4 more · Estudios y Perspectivas Revista Científica y Académica
Information declared in the article metadata published by each journal (OAI-PMH).