Poprzednia strona
Rekrutacja 2022/23
A. Antonevich
Automated Improving of Proof Legibility in the Mizar System
7th International Conferences on Intelligent Computer Mathematics, Coimbra, Portugalia, Jul 6-12, 2014
University of Coimbra (org.)
