Powrót do listy of Promotor
Aleksy Schubert
Zastosowanie unifikacji do problemów wyprowadzania typów (Zastosowanie unifikacji do problemów wyprowadzania typów)
- Afiliacja
- Uniwersytet Warszawski
- W zakresie
- matematyki
- Data nadania
- 22 lutego 2001
- Promotor
- dr hab. Paweł Urzyczyn
- Recenzenci
- prof. dr hab. Andrzej Tarlecki
- prof. dr hab. Pawel Idziak