Grabowski, Adam  (matematyka). <br/><br/>
Computer-Assisted Reasoning about Algebraic Topology / 
Adam Grabowski and Artur Korniłowicz. 
<br/><br/> Tytuł. nagł. 
<br/><br/>Bibliogr. s. 188-189. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Topologia algebraiczna.<br/>Rozumowanie--modele matematyczne.