BibTeX记录conf/stasts/BaruaRC99
@正在进行{DBLP:conf/stasts/BaruaRC99, author={Rana Barua和 苏曼·罗伊和 周朝晨}, editor={Christoph Meinel和 索菲·蒂森}, title={邻域逻辑的完整性}, booktitle={{STACS}99,第16届计算机理论方面年度研讨会 《科学》,德国特里尔,1999年3月4日至6日,Proceedings}, series={计算机科学讲稿}, 体积={1563}, 页数={521--530}, publisher={Springer}, 年份={1999}, url={ https://doi.org/10.1007/3-540-49116-3 \_49}, doi={10.1007/3-540-49116-3\_49}, 时间戳={星期四,2021年10月14日10:38:15+0200}, biburl={ https://dblp.org/rec/conf/stacs/BaruaRC99.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }