Poprzednia strona
Rekrutacja 2022/23
E. Schmeidel
Adjective Clustering in the Mizar Type System
23rd International Conference on Types for Proofs and Programs, Budapest, Hungary, May 29 - Jun 1, 2017
Eötvös Loránd University (org.)
