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
Mar 4, 2014
Mar 4, 2014
269
268
https://pbc.biaman.pl/publication/31450
Edition name | Date |
---|---|
2013, Formalized Mathematics 2013 nr 2 | Mar 4, 2014 |