1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CY2015★ 1 cited
TryLogic tutorial: an approach to Learning Logic by proving and refuting
Patrick Terrematte, João Marcos
Aiming to offer a framework for blended learning to the teaching of proof theory, the present paper describes an interactive tutorial, called \textsc{TryLogic}, teaching how to sol…
cs.CY2015★ 1 cited
ARG: Virtual Tool to Teaching Argumentation Theory
Nailton Silva, Patrick Terrematte, José Moura
Researchers look for new virtual instruments that can improve and maximize traditional forms of teaching and learning. In this paper, we present the ARG system, a virtual tool deve…