Poprzednia strona
Rekrutacja 2022/23
Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic
C. Kaliszyk, K. Pąk
() 193-207
DOI: 10.1007/978-3-319-62075-6_14
