Mati Tombak
[ elulookirjeldus ]
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | SF0180520s98 | Arvutiteaduse mudelid ja meetodid infotehnoloogias (Tartu Ülikool, professor) | 1998 - 2002 |
| 2. | SF0181140s99 | Digitaaldokumentide pikaajaline tõestusväärtus (Tartu Ülikool, professor) | |
| 3. | SF0181102s99 | Kombinatoorsed probleemid Boole`i funktsioonidel (Tartu Ülikool, professor) | |
| 4. | SF0181139s99 | Loendamisalgoritmid (Tartu Ülikool, professor) | |
| 5. | SFDs02 | Loendamisalgoritmid ja nende keerukus (Tartu Ülikool, professor) | |
| 6. | SF0181138s99 | Tüübiteooria (Tartu Ülikool, professor) | |