From 1996 r. published by University of Bialystok ; From 1990 to 1993 published by Universite Catholique de Louvain, Belgia
Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku
4 mar 2014
4 mar 2014
102
109
https://pbc.biaman.pl/publication/31452
Nazwa wydania | Data |
---|---|
Formalized Mathematics 2013 nr 4 | 4 mar 2014 |