Richard Statman：可由多态程序计算的数论函数（扩展摘要）（1981） conf/focs/Statman81 10.1109/SFCS.1981年12月24日 可由多态程序计算的数论函数（扩展抽象） 1 理查德·斯塔特曼 1 279-282 焦点 焦点 1981 1981 dblp记录“conf/focs/Statman81”的RDF数据的来源信息 2023-03-23T23:57:53+0100