TY  - GEN
AU  - Schwarzweller,Christoph
TI  - Mizar Attributes: A Technique to Encode Mathematical Knowledge into Type Systems 
KW  - Matematyka
KW  - oprogramowanie
KW  - kaba
KW  - język
KW  - Kompilatory
N1  - Tytuł. nagł; Bibliogr. s. 399-400
ER  -