Poprzednia strona
Rekrutacja 2022/23
System Description: XSL-Based Translator of Mizar to LaTeX
G. Bancerek, A. Naumowicz, J. Urban
() 1-6
DOI: 10.1007/978-3-319-96812-4_1
