TY  - JOUR
AU  - Borak, Ewa
TI  - System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej
JO  - Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
PY  - 2010
SP  - 21
EP  - 40
VL  - 3
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AUPCDM_2010_3_1_a1/
LA  - pl
ID  - AUPCDM_2010_3_1_a1
ER  -