提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-形态ID-DBLP:conf/lics/2021TI-第36届ACM/IEEE计算机科学逻辑年会，LICS 2021，罗马，意大利，2021年6月29日-7月2日2021年上半年//PB-电气与电子工程师协会DO-10.1109/LICS52264.2021UR-（欧元）https://doi.org/10.109/LICS52264.2021锡-ISBN 978-1-6654-4895-6急诊室-