Poprzednia strona
Rekrutacja 2022/23
A. Bonda, L. Uba, M. S. Uba
Isabelle Import Infrastructure for the Mizar Mathematical Library
11th International Conference on Intelligent Computer Mathematics, Hagenberg, Austria, Aug 13-17, 2018
Research Institute for Symbolic Computation (org.)