Poprzednia strona
Rekrutacja 2022/23
A. Bonda, L. Uba, M. S. Uba
System Description: XSL-based Translator of Mizar to LaTeX
11th International Conference on Intelligent Computer Mathematics, Hagenberg, Austria, Aug 13-17, 2018
Research Institute for Symbolic Computation (org.)
