Department of Computer Science [pre 2018 site]
This site will stay around for the foreseeable future for archival purposes.
Helsingin Yliopisto
Matemaattis-luonnontieteellinen tiedekunta
Suomi
English
Etusivu
Tutkimus
Opiskelu
Opiskelijaksi
Alumnit
Hallinto
Tietotekniikka
Henkilöstö
Yhteystiedot
Proof Theory and Proof Search
Perustiedot
Kurssikoodi:
582418
Opintopisteet:
4-6
Erikoistumislinja:
Algoritmit ja koneoppiminen
Taso:
Syventävät opinnot
Kuvaus:
Vuosi
Lukukausi
Päivämäärä
Periodi
Kieli
Vastuuhenkilö
2003
kevät
-
14.01
.
Suomi
