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