41 citations · 45 across the 2 of their papers we have counts for
1 paper · 1 filter
Joana Teles, Vanda Santos, Pedro Quaresma
The introduction of automated deduction systems in secondary schools face several bottlenecks. Beyond the problems related with the curricula and the teachers, the dissonance betwe…