Niccolò Veltri: Theorem provers will also be used in schools
author
location of publication
[Tallinn]
publisher
year of publication
pages
p. 69-72 : ill
subject term
name of the institution
TTÜ department
language
inglise
Veltri, N. Niccolò Veltri: Theorem provers will also be used in schools // Estonian Centre of Excellence in ICT Research. [Tallinn] : [TalTech etc.], 2021. p. 69-72 : ill. http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est