Poprzednia strona
Rekrutacja 2022/23
B. Kwaśniewski
Syntactic-semantic Form of Mizar Articles
12th International Conference on Interactive Theorem Proving, Internet, Jun 29 - Jul 1, 2021
Sapienza University of Rome (org.)
