PTI - Polskie Towarzystwo Informatyczne: Oddział Dolnośląski 

Informacje na temat autora pracy konkursowej

Imię i nazwisko Paweł Wieczorek
E-mail wieczyk...gmail.com
Tytuł pracy Formalizacja w systemie Coq algorytmu normalizacji przez ewaluację dla teorii typów Martin-Löfa.
Data obrony 2016-03-18
Promotor dr Dariusz Biernacki
Uczelnia
Wydział
Instytut		 Uniwersytet Wrocławski
Matematyki i informatyki
Informatyki


Powrót

Zaloguj się

© 2002-2017 Polskie Towarzystwo Informatyczne Oddział Dolnośląski  -   Stopka redakcyjna
Ostatnia aktualizacja: 30 maja 2002    Dział redaguje: Paweł Mazur