%0 Journal Article
%A S. Waligórski
%T Z. Pawlak, Automatyczne dowodzenie twierdzeń
%J Wiadomości Matematyczne
%D 1968
%P  297-298
%V 10
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2166/
%R 10.14708/wm.v10i2.2166
%G pl
%F 10_14708_wm_v10i2_2166