TY  - GEN
AU  - Bancerek,Grzegorz
AU  - Kohlhase,Michael
TI  - Towards a MIZAR Mathematical Library in OMDoc Format
KW  - Matematyka
KW  - oprogramowanie
KW  - kaba
KW  - język
N1  - Tyt. nagł; Bibliogr. s. 274-275
ER  -