TY - JOUR AU - I. H. Lehmer TI - Zmechanizowana matematyka JO - WiadomoĊ›ci Matematyczne PY - 1968 SP - 183 EP - 194 VL - 10 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.14708/wm.v10i2.2138/ DO - 10.14708/wm.v10i2.2138 LA - pl ID - 10_14708_wm_v10i2_2138 ER -