Poprzednia strona
Rekrutacja 2022/23
Equality in Computer Proof-Assistants
A. Grabowski, A. Korniłowicz, Ch. Schwarzweller
() 45-54
DOI: 10.15439/2015F229
