TY  - GEN
AU  - Grabowski,Adam
AU  - Korniłowicz,Artur
TI  - Computer-Assisted Reasoning about Algebraic Topology
KW  - Topologia algebraiczna
KW  - kaba
KW  - Rozumowanie
KW  - modele matematyczne
N1  - Tytuł. nagł; Bibliogr. s. 188-189
ER  -