Mathematical knowledge management in MIZAR (0)

by P Rudnicki, A Trybulec
Venue:Mathematical Knowledge Management