EvoLogic: Toward an ITS for Teaching Propositional Logic Documento

• doi:10.1007/s40593-021-00287-7
• http://dx.doi.org/10.1007/s40593-021-00287-7
• http://https://link.springer.com/article/10.1007/s40593-021-00287-7#article-info][doi:10.1007/s40593-021-00287-7

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Outro
•  
• Ver todos
•  

Visão geral

tipo

• journal article

autores

• Cristiano Galafassi
• Fabiane Flores Penteado Galafassi
• Prof. Dr. Eliseo Berni Reategui
• Rosa Maria Viccari

data de publicação

• 2022-01-01

publicada em

• INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE IN EDUCATION (PRINT) 

Pesquisas

áreas de investigação

• Tecnologia Educacional

palavras-chave

• Logica proposicional
• Lógica proposicional
• Prova de teoremas
• ensino
• sistema tutor inteligente

Identidade

identificador BrCris

• 33c642484cfa847fae52167ee5ba21a8

Informação adicional documento

série

• 4

Página Inicial

• 1

página final

• 13
• 15
• 24

Volume

• 1
• 31
• 32

Outro

tem linguagem

• Inglês
• Português