Poprzednia strona
Rekrutacja 2022/23
R. Jankowski
On specifying partial nominative predicates in Mizar
14th International Conference Theoretical and Applied Aspects of Program Systems Development, Kyiv, Ukraine, Dec 4-8, 2017
National University of Kyiv (org.)
