WEITI » Badania i nauka » Postępowania w sprawach stopni naukowych i tytułu naukowego » Obrony doktorskie spoza Wydziału » Archiwum » Rok akademicki 2013/2014 »
mgr Karol Pąk
Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji
dr hab. Aleksy Schubert
Obrona doktorska
28.11.2013 10:15
Uniwersytet Warszawski
Pobierz plik (msword, 45,50 kB)