Nie jesteś zalogowany |
Powrót do listy of Promotor
Tomasz Borzyszkowski
Systemy logiczne dla specyfikacji strukturalnych (Systemy logiczne dla specyfikacji strukturalnych)
- Afiliacja
- Instytut Matematyki Uniwersytetu Gdańskiego
- W zakresie
- informatyki
- Data nadania
- 14 grudnia 2000
- Promotor
- prof. dr hab. Andrzej Tarlecki
- Recenzenci
- dr hab. Michał Grabowski
- dr hab. Marian Srebrny
