Poprzednia strona
Rekrutacja 2022/23
A. Dobrogowska, T. Goliński, P. Kielanowski, A. Odzijewicz
9th International Conference on Theorem Proving in Higher Order Logics, Turku, Finland, Aug 26-30, 1996
