TY  - BOOK
AU  - Szałas,Andrzej
TI  - Zarys dedukacyjnych metod automatycznego wnioskowania
SN  - 8390045176
PY  - 1993///
CY  - Warszawa
PB  - Akademicka Oficyna Wydaw.
N1  - bibliogr
ER  -