Proof Theory and Proof Search

582418
4-6
Algoritmit ja koneoppiminen
Syventävät opinnot
Vuosi Lukukausi Päivämäärä Periodi Kieli Vastuuhenkilö
2004 kevät 20.01-06.04. Suomi

Lectures: 20.1.-6.4. (not 2.3.) Tue 10-12

University Main Building Aud. XVI.