Poprzednia strona
Rekrutacja 2022/23
M. Muzalewski
A Guide to the Mizar Soft Type System
22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia, May 23-26, 2016
University of Novi Sad, Faculty of Technical Sciences (org.)
