Poprzednia strona
Rekrutacja 2022/23
Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant
A. Grabowski
() 225-238
DOI: 10.1007/978-3-030-22815-6_18
