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