Biela, Andrzej. <br/><br/>
Automatyczne dowodzenie twierdzeń / 
Andrzej Biela, Marek Wojtylak. 
 - Katowice :  Wydaw. Uniwersytetu Śląskiego,  1993. 
 - 215 s. :  il. ;  24 cm. 
 - Skrypty / Uniwersytet Śląski,  Nr 484  0239-6432 ; .
 - Skrypty (Uniwersytet Śląski)  Nr 484 .
<br/><br/>bibliogr. 
<br/><br/><label>Uniwersalna Klasyfikacja Dziesiętna: </label> 004.021:004.4:510.6