Poprzednia strona
Rekrutacja 2022/23
T. Czyżycki
How to use types in Mizar
8th International Workshop on Types for Proofs and Programs, Berg en Dal, The Netherlands, Apr 24-28, 2002
Faculty of Science, Mathematics and Informatics, University of Nijmegen (org.)
