| teema: | Programmide matemaatiline konstrueerimine II |
|---|---|
| tunnusnumber: | ETF4917 |
| projekti tüüp: | Eesti Teadusfondi grant |
| seisund: | lõppenud |
| asutus: | TÜ Matemaatika-informaatikateaduskond |
| projekti juht: | Varmo Vene |
| kestus: | 01.01.2001 - 31.12.2003 |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Peeter Laud | AS Cybernetica | d.rant | |
| 2. | Tõnu Tamme | Tartu Ülikool | lektor | |
| 3. | Tarmo Uustalu | TTÜ Küberneetika Instituut | v.tead. | |
| 4. | Varmo Vene | Tartu Ülikool | lektor | |