Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Aalto-yliopiston tutkimusportaaliin Etusivu
ACRIS-ohjeet
English
Suomi
Etusivu
Profiilit
Julkaisut ja taiteelliset tuotokset
Tutkimusaineistot ja ohjelmistot
Projektit
Palkinnot
Aktiviteetit
Lehtileikkeet
Tutkimusinfrastruktuurit
Tutkimusyksiköt
Vaikuttavuudet
Haku asiantuntemuksen, nimen tai kytköksen perusteella
EuroProofNet STSM
Kogkalidis, Kokos
(Recipient)
Tietotekniikan laitos
Professorship Garg Vikas
Palkinto
:
Myönnetty rahoitus (julkiset tutkimusapurahat)
Description
Neural Premise Selection for Agda
Myöntöpäivä
2023
Myöntävät organisaatiot
EuroProofNet