Poprzednia strona
Rekrutacja 2022/23
A. Bonda, L. Uba, M. S. Uba
Progress in the Formalization of Matiyasevich's theorem in the Mizar system
11th International Conference on Intelligent Computer Mathematics, Hagenberg, Austria, Aug 13-17, 2018
Research Institute for Symbolic Computation (org.)
