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
Apr 22, 2013
Apr 8, 2013
94
104
https://www.pbc.biaman.pl/publication/25124
Edition name | Date |
---|---|
2003, Formalized Mathematics 2003 nr 4 | Apr 22, 2013 |