000 00769nam a2200265Ia 4500
003 OSt
005 20220912144943.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a69906
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:(R1)p1,N84, M4
100 _aShostak R E Ed.
111 _aInternational conference on automated deduction (7 : 1984 : California)
245 0 _aProceeding on automated deduction
260 _aBerlin
_bSpringer Verlag
_c1984
300 _avi, 508p.
_ccm.
490 _aLecture notes in mathematics; 170
650 _aStatistics
942 _hB:(R1)p1,N84, M4
_cTEXL
_2CC
999 _c19676
_d19676