TY  - GEN
AU  - Gow,Jeremy
AU  - Cairns,Paul
TI  - Closing the Gap Between Formal and Digital Libraries of Mathematics
KW  - Matematyka
KW  - miscellanea
KW  - kaba
N1  - Tytuł. nagł; Bibliogr. s. 262-263
ER  -