Niccolò Veltri: Theorem provers will also be used in schools
Veltri, Niccolo
Estonian Centre of Excellence in ICT Research
2021
/
p. 69-72 : ill
http://www.digar.ee/id/nlib-digar:634779
https://www.ester.ee/record=b5456158*est