prindi

Niccolò Veltri: Theorem provers will also be used in schools

autor
Veltri, Niccolo
allikas
Estonian Centre of Excellence in ICT Research
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
[TalTech etc.]
ilmumisaasta
2021
leheküljed
p. 69-72 : ill
leitav
http://www.digar.ee/id/nlib-digar:634779
https://www.ester.ee/record=b5456158*est
märksõna
tarkvara
arvutid
arendustegevus
asutuse kohta
Tallinna Tehnikaülikool
TTÜ struktuuriüksus
tarkvarateaduse instituut
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