ANITA, a Assistente de Provas para Tablôs Analíticos
18 views
Skip to first unread message
Adolfo Neto
May 13, 2023, 9:29:06 AM5/13/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Neste vídeo eu apresento ANITA, a Assistente de Provas para Tablôs Analíticos, criada por Davi Romero de Vasconcelos.
==================================================================
Adolfo Neto
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================
Reply all
Reply to author
Forward
0 new messages