Poprzednia strona
Rekrutacja 2022/23
M. Borowska, A. Kitlas, E. Oczeretko, W. Półjanowicz
Declarative Proof Translation
10th International Conference on Interactive Theorem Proving, Portland OR, USA, Sep 8-13, 2019
Portland State University (org.)
