Szałas, Andrzej. <br/><br/>
Zarys dedukacyjnych metod automatycznego wnioskowania / 
Andrzej Szałas. 
 - Warszawa :  Akademicka Oficyna Wydaw.,  1993. 
 - 121 s. :  il. ;  21 cm. 
<br/><br/>bibliogr. 
<br/><br/><label>ISBN: </label>8390045176 
<br/><br/><label>Uniwersalna Klasyfikacja Dziesiętna: </label> 681.3