Department of Computer Science [pre 2018 site]
This site will stay around for the foreseeable future for archival purposes.
University of Helsinki
Faculty of Science
Suomi
English
Home
Research
Studies
Prospective Students
Alumni
Administration
Computing facilities
People
Contact
Proof Theory and Proof Search
Basic information
Course code:
582418
Credit units:
4-6
Subprogramme:
Algorithms and machine learning
Level:
Advanced studies
Description:
Year
Semester
Date
Period
Language
In charge
2003
spring
Finnish
