Poprzednia strona
Rekrutacja 2022/23
Isabelle Import Infrastructure for the Mizar Mathematical Library
C. Kaliszyk, K. Pąk
() 131-146
DOI: 10.1007/978-3-319-96812-4_13
