8 citations · 20 across the 6 of their papers we have counts for
1 paper · 1 filter
Pedro Quaresma, Vanda Santos
The introduction of automated deduction systems in secondary schools face several bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the curricula,…