[1]
E. Borak, “System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej”, AUPC, vol. 3, pp. 21–40, Jul. 2017.