Patrick Terrematte

Identifiers

• name variant Patrick Terrematte 0.60 · backfill

Papers (2)

1. TryLogic tutorial: an approach to Learning Logic by proving and refuting cs.CY · 2015 · author #1
2. ARG: Virtual Tool to Teaching Argumentation Theory cs.CY · 2015 · author #2

Mentions

• 1507.03685 #1 · backfill · confidence 0.70 Patrick Terrematte
• 1507.03682 #2 · backfill · confidence 0.70 Patrick Terrematte

Frequent Coauthors

• Jo\~ao Marcos 1 shared papers
• Jos\'e Moura 1 shared papers
• Nailton Silva 1 shared papers