Naumowicz, Adam. <br/><br/>
Evaluating Prospective Built-in Elements of Computer Algebra in MIZAR / 
Adam Naumowicz. 
<br/><br/> Tytuł. nagł. 
<br/><br/>Bibliogr. s. 200. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematyka--oprogramowanie.<br/>Matematyka--język.<br/>Rachunek formalny--oprogramowanie.