Search
Search
Advanced search
Change font size
Contrast versions
Language pl
godlo_uwb.svg

Poprzednia strona

Rekrutacja 2022/23

Publications

Formalization of Nominative Data in Mizar

15.12.2015

Formalization of Nominative Data in Mizar

I. Ivanov, A. Korniłowicz, M. Nikitchenko

() 82-85

Print
Back
©2022 Wszystkie prawa zastrzeżone.