BibTeX记录博士/博士/格里姆2009
@博士{DBLP:phd/de/Grimm2009, author={Stephan Grimm}, title={与非单调描述逻辑的语义匹配}, 学校={卡尔斯鲁厄理工学院}, 年份={2009}, url={ https://d-nb.info/99409460 }, isbn={978-3-89838-620-3}, timestamp={星期六,2021年7月17日09:07:35+0200}, biburl={ https://dblp.org/rec/phd/de/Grimm2009.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }