Mati Tombak
[ curriculum vitae ]
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | SF0180520s98 | Arvutiteaduse mudelid ja meetodid infotehnoloogias (University of Tartu, professor) | 1998 - 2002 |
| 2. | SF0181140s99 | Digitaaldokumentide pikaajaline tõestusväärtus (University of Tartu, professor) | |
| 3. | SF0181102s99 | Kombinatoorsed probleemid Boole`i funktsioonidel (University of Tartu, professor) | |
| 4. | SF0181138s99 | Tüübiteooria (University of Tartu, professor) | |
| 5. | SF0181139s99 | Loendamisalgoritmid (University of Tartu, professor) | |
| 6. | SFDs02 | Loendamisalgoritmid ja nende keerukus (University of Tartu, professor) | |