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

Informacje na temat autora pracy konkursowej

Imię i nazwisko Marek Damek
E-mail  
Tytuł pracy Logika S4 i automatyczne dowodzenie twierdzeń.
Data obrony 1984-08-30
Promotor dr Jacek Cichoń
Uczelnia
Wydział
Instytut		 Uniwersytet Wrocławski
Matematyki, Fizyki, Chemii
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