-
1
-
2
-
3
Agenttien uskottavuus ja tekotyperyys realistisessa autopelissä
Published 2014JYX-julkaisuarkisto / JYX Digital Archive
Master's thesis -
4
Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
Published 2021Get full text Get full textMaster's thesis -
5