6 citations · 6 across the 2 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,…