Bancerek, Grzegorz. <br/><br/>
Towards a MIZAR Mathematical Library in OMDoc Format / 
Grzegorz Bancerek and Michael Kohlhase. 
<br/><br/> Tyt. nagł. 
<br/><br/>Bibliogr. s. 274-275. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematyka--oprogramowanie.<br/>Matematyka--język.