Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Kuśmierowski, Wojciech"'
Autor:
Kuśmierowski, Wojciech1 (AUTHOR), Grabowski, Adam1 (AUTHOR)
Publikováno v:
Formalized Mathematics. Dec2021, Vol. 29 Issue 4, p153-159. 7p.
