BibTeX记录conf/lpar/Gardner93
@进行中{DBLP:conf/lpar/Gardner93， 作者={菲利普·加德纳}， 编辑器＝{Andrei Voronkov}， title={一种表示逻辑的新型理论}， booktitle={逻辑编程与自动推理，第四届国际会议， 俄罗斯圣彼得堡LPAR’93，1993年7月13日至20日，Proceedings}， series={计算机科学讲稿}， 体积={698}， 页数={146--157}， publisher={Springer}， 年份={1993}， url={ https://doi.org/10.1007/3-540-56944-8 \_49}, doi={10.1007/3-540-56944-8\_49}， timestamp={2019年5月14日星期二10:00:55+0200}， biburl={ https://dblp.org/rec/conf/lpar/Gardner93.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
