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

Informacje na temat autora pracy konkursowej

Imię i nazwisko Wojciech Jedynak
E-mail wjedynak...gmail.com
Tytuł pracy Operational Semantics of Ltac: A Formal Study of the Tactic Language of the Coq Proof Assistant.
Data obrony 2013-09-27
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