| title: | Mathematical Construction of Programs II |
|---|---|
| reg no: | ETF4917 |
| project type: | Estonian Science Foundation research grant |
| status: | completed |
| institution: | TU Faculty of Mathematics |
| head of project: | Varmo Vene |
| duration: | 01.01.2001 - 31.12.2003 |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Peeter Laud | Cybernetica AS | d.rant | |
| 2. | Tõnu Tamme | University of Tartu | lektor | |
| 3. | Tarmo Uustalu | Institute of Cybernetics at Tallinn Technical University | v.tead. | |
| 4. | Varmo Vene | University of Tartu | lektor | |