Interactive Proof Editor
15 views
Skip to first unread message
Adolfo Neto
Nov 7, 2019, 12:33:32 PM11/7/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Adolfo Neto
Dedução Natural no browser
==================================================================
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