Martim Nicoladelli, J.; Santanna Batista, J.; Luguesi, J.; Finger, M. ASA-CalcPro: Uma Ferramenta Para O Ensino-Aprendizagem De Cálculo Proposicional. RTCC 2018, 4.