Nie jesteś zalogowany |
Powrót do listy doktoratów
Ali Rezaei Divroodi
Bisimulation Equivalence in Description Logics and Its Applications
- Afiliacja
- Uniwersytet Warszawski
- W zakresie
- informatyki
- Data nadania
- 22 października 2015
- Promotor
- dr hab. Linh Anh Nguyen (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
- Recenzenci
- prof. Wojciech Penczek (Instytut Podstaw Informatyki PAN)
- dr hab. Lidia Tendera (Uniwersytet Opolski)
- Dokumenty
