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