TY  - GEN
AU  - Naumowicz,Adam
TI  - Evaluating Prospective Built-in Elements of Computer Algebra in MIZAR
KW  - Matematyka
KW  - oprogramowanie
KW  - kaba
KW  - język
KW  - Rachunek formalny
N1  - Tytuł. nagł; Bibliogr. s. 200
ER  -