%0 Journal Article
%A L. W. Szczerba
%T Automatyczne dowodzenie twierdzeń
%J Wiadomości Matematyczne
%D 1972
%P  25-38
%V 14
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.14708/wm.v14i1.1962/
%R 10.14708/wm.v14i1.1962
%G pl
%F 10_14708_wm_v14i1_1962