Poprzednia strona
Rekrutacja 2022/23
K. Janglajew
New features of the Mizar language
9th Theorem Proving and Provers, Shinshu University, Nagano, Japan, Nov 21-22, 2013
Shinshu University, Nagano, Japan (org.)
