BibTeX记录conf/focs/Statman81
@正在处理{DBLP:conf/focs/Statman81， author={Richard Statman}， title={可由多态程序计算的数论函数（扩展 摘要）}， booktitle={第22届计算机科学基础年会，纳什维尔， 美国田纳西州，1981年10月28日至30日}， 页数={279--282}， publisher={{IEEE}计算机协会}， 年份={1981}， 网址={ https://doi.org/10.109/SFCS.1981.24 }, doi={10.1109/SFCS.1981.24}， 时间戳＝{2023年3月23日星期四23:57:53+0100}， biburl={ https://dblp.org/rec/conf/focs/Statman81.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
