BibTeX记录conf/ershov/Nepeivoda79
@进行中{DBLP:conf/ershov/Nepeivoda79， 作者＝{N.N.Nepeevoda}， editor={Andrei P.Ershov和 Donald E.Knuth}， title={编程的逻辑方法}， booktitle={现代数学和计算机科学中的算法，Proceedings， 乌兹别克苏维埃社会主义共和国乌尔根奇，苏联，1979年9月16日至22日}， series={计算机科学讲稿}， 体积={122}， 页数={261--289}， publisher={Springer}， 年份={1979}， url={ https://doi.org/10.1007/3-540-11157-3 \_30}, doi＝{10.1007/3-540-11157-3\_30}， timestamp={2020年7月17日星期五16:12:47+0200}， biburl={ https://dblp.org/rec/conf/ershov/Nepeivoda79.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
