Poprzednia strona
Rekrutacja 2022/23
How to cope with equalities?
Foundation of Mathematics for Computer-Aided Formalization, Padova, Italy, Jan 9-11, 2013
Universita degli Studi di Padova, Padova, Italy (org.)
