BibTeX记录日志/jar/EchenimP20
@文章{DBLP:journals/jar/EchenimP20, author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃}, title={归纳与饱和相结合的定理证明}, 日志={J.自动原因}, 体积={64}, 数字={2}, 页数={253--294}, 年份={2020年}, url={ https://doi.org/10.1007/s10817-019-09519-x }, doi={10.1007/S10817-019-09519-X}, 时间戳={2020年9月2日星期三13:29:51+0200}, 比布尔={ https://dblp.org/rec/journals/jar/EchenimP20.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }