标题: amp;amp;阿提特:度量时态逻辑的多头监控 amp;amp;最近:拉兹克 amp;amp;日期:2019 amp;amp;数字对象标识:10.1007/978-3-030-31784-3_9 amp;amp;体裁:书目 amp;amp;身份证件:7222920 amp;amp;isbn:{“类型”:“pbk”,“数字”:“978-3-030-31783-6”};{“类型”:“电子书”,“编号”:“978-3-030-31784-3”} amp;amp;碎片:151 sid:FIZ-Karlsruhe:zbMATH公司
×
Entschuldigung公司:Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
咬了一口,这是一种形式或死亡的方式,我是Heimateinrichtung auszuwählen。