Schwarzweller, Christoph. <br/><br/>
Mizar Attributes :  A Technique to Encode Mathematical Knowledge into Type Systems / 
Christoph Schwarzweller. 
<br/><br/> Tytuł. nagł. 
<br/><br/>Bibliogr. s. 399-400. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematyka--oprogramowanie.<br/>Matematyka--język.<br/>Kompilatory--oprogramowanie.