Poprzednia strona
Rekrutacja 2022/23
Formalization of the Algebra of Nominative Data in Mizar
38th Information Systems Architecture and Technology, Szklarska Poręba, Poland, Sep 17-19, 2017
Wrocław University of Science and Technology (org.)
