. . . . . “Richard Statman:\u03BB-可定义函数和\u03B2\u03B7转换。（1983）”。 . . _：ID_5fd03e653ac59920f1c12c10e92e03a1。_：ID_5fd03e653ac59920f1c12c10e92e03a1 ._：ID_5fd03e653ac59920f1c12c10e92e03a1 ._：ID_5fd03e653ac59920f1c12c10e92e03a1“日志/aml/Statman83”。 _：ID_47404a704c55a81dcba74ee751c32bc7。_：ID_47404a704c55a81dcba74ee751c32bc7 ._：ID_47404a704c55a81dcba74ee751c32bc7 ._：ID_47404a704c55a81dcba74ee751c32bc7“10.1007/BF02023009”。 “\u03BB-定义函数和\u03B2\u03B7转换。”。 . . "1"^^. _：Sig_1808463409a35a64a9f933dfb80bc4e5_1。_：信号_1808463409a35a64a9f933dfb80bc4e_1 ._：Sig_1808463409a35a64a9f933dfb80bc4e5_1“Richard Statman”。_：Sig_1808463409a35a64a9f933dfb80bc4e5_1 ._：Sig_1808463409a35a64a9f933dfb80bc4e5_1"1"^^._：Sig_1808463409a35a64a9f933dfb80bc4e5_1 . . . . "21-26" . “Arch.Math.Log.”。 “Arch.Math.Log”。 "23" . "1" . "1983"^^. “dblp记录'journals/aml/Statman83'的RDF数据的来源信息”。 . . . “2019-10-26T12:05:21+0200”。