提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:journals/jsc/Statman89AU-理查德·斯坦曼TI-Smullyan的Lark Combinator的单词问题是可决定的。JO-J.符号。计算。VL-7IS-2SP-103型欧洲药典-112PY-1989年//DO-10.1016/S0747-7171（89）80044-6UR-（欧元）https://doi.org/10.1016/S0747-7171(89)80044-6呃-