BibTeX记录conf/csl/2010

下载为.bib文件

@会议记录{DBLP:conf/csl/2010，editor={Anuj Dawar和赫尔穆特·维思}，title={计算机科学逻辑，第24届国际研讨会，{CSL}2010，19EACSL年会，8月23日至27日，捷克共和国布尔诺，2010.会议记录}，series={计算机科学讲稿}，体积={6247}，publisher={Springer}，年份={2010}，url={https://doi.org/10.1007/978-3-642-15205-4},doi={10.1007/978-3642-15205-4}，isbn={978-3-642-15204-7}，timestamp={2019年5月14日星期二10:00:42+0200}，biburl={https://dblp.org/rec/conf/csl/2010.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
服务莱布尼茨信息中心（Schloss Dagstuhl）

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。