Poprzednia strona
Rekrutacja 2022/23
A. Antonevich
Universality of Proofs, Dagstuhl, Germany, Oct 16-21, 2016
Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik (org.)
