Poprzednia strona
Rekrutacja 2022/23
A. Tereszkiewicz
Workshop Limits of Theorem Proving, Rome, Italy, Sep 25-27, 2012
University of Leeds, Sapienza University Rome, Sapienza University Rome, University of Toronto (org.)