BibTeX记录日志/fuin/Statman19
@文章{DBLP:journals/fuin/Statman19, author={Rick Statman}, title={交叉点类型的简单子类型}, journal={Fundam.Informaticae}, 体积={170}, 数字={1-3}, 页数={307--324}, 年份={2019}, url={ https://doi.org/10.3233/FI-2019-1864 }, doi={10.3233/FI-2019-1864}, 时间戳={2020年9月18日星期五11:16:46+0200}, biburl={ https://dblp.org/rec/journals/fuin/Statman19.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }