%0 Journal Article %A I. H. Lehmer %T Zmechanizowana matematyka %J WiadomoĊ›ci Matematyczne %D 1968 %P 183-194 %V 10 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2138/ %R 10.14708/wm.v10i2.2138 %G pl %F 10_14708_wm_v10i2_2138