Nie jesteś zalogowany |
Powrót do listy doktoratów
Karol Pąk
Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji (Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji )
- Afiliacja
- Uniwersytet w Białymstoku
- W zakresie
- informatyki
- Data nadania
- 28 listopada 2013
- Promotor
- dr hab. Aleksy Schubert
- Recenzenci
- dr hab. Anh Linh Nguyen, prof. UW
- dr hab. Tomasz Połacik (Uniwersytet Śląski)
- Dokumenty
