Poprzednia strona
Rekrutacja 2022/23
A. Antonevich
SAT-Enhanced Mizar Proof Checking
7th International Conferences on Intelligent Computer Mathematics, Coimbra, Portugalia, Jul 6-12, 2014
University of Coimbra (org.)
