标题: amp;amp;阿提特:机构设计的计算机辅助验证 amp;amp;最近:巴特 amp;amp;日期:2016 amp;amp;数字对象标识:10.1007/978-3-662-54110-4_20 amp;amp;体裁:书目 amp;amp;身份证件:6683448 amp;amp;isbn:{“类型”:“pbk”,“数字”:“978-3-662-54109-8”};{“类型”:“电子书”,“数字”:“978-3-662-54110-4”} amp;amp;碎片:279 sid:FIZ-Karlsruhe:zbMATH公司
×
Entschuldigung公司:Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
咬了一口,这是一种形式或死亡的方式,我是Heimateinrichtung auszuwählen。