Poprzednia strona
Rekrutacja 2022/23
Enhancement of Mizar Texts with Transitivity Property of Predicates
A. Korniłowicz
() 157-162
DOI: 10.1007/978-3-319-42547-4_12
