Niccolò Veltri: Theorem provers will also be used in schools
autor
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 69-72 : ill
märksõna
asutuse kohta
TTÜ struktuuriüksus
keel
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