TY  - JOUR
AU  - S. Waligórski
TI  - Z. Pawlak, Automatyczne dowodzenie twierdzeń
JO  - Wiadomości Matematyczne
PY  - 1968
SP  -  297
EP  - 298
VL  - 10
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2166/
DO  - 10.14708/wm.v10i2.2166
LA  - pl
ID  - 10_14708_wm_v10i2_2166
ER  -