Proof Theory and Proof Search

582418
4-6
Algoritmit ja koneoppiminen
Syventävät opinnot
Vuosi Lukukausi Päivämäärä Periodi Kieli Vastuuhenkilö
2002 syksy 17.09-31.10. Suomi

Luennot

Aika Huone Luennoija Päivämäärä
Ti 10-12 A216 Opetusohjelman suunnittelija 17.09.2002-31.10.2002

Harjoitusryhmät

Group: 1
Aika Huone Ohjaaja Päivämäärä Huomioitavaa
To 10-12 A215 Opetusohjelman suunnittelija 17.09.2002—31.10.2002