TY  - BOOK
AU  - Biela,Andrzej
AU  - Wojtylak,Marek
TI  - Automatyczne dowodzenie twierdzeń
T2  - Skrypty / Uniwersytet Śląski,
PY  - 1993///
CY  - Katowice
PB  - Wydaw. Uniwersytetu Śląskiego
N1  - bibliogr
ER  -