标题：    amp；amp；阿提特：Ghostbuster：简化和转换GADT的工具   amp；amp；最近：麦克唐纳   amp；amp；日期：2016   amp；amp；doi（操作界面）：10.1145/2951913.2951914   amp；amp；体裁：书目   amp；amp；身份证号码：6713915   amp；amp；isbn：｛'编号'：'978-1-4503-4219-3'｝   amp；amp；碎片：338   sid：FIZ-Karlsruhe:zbMATH公司

× Entschuldigung公司：Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
Bitte verwenden Sie das nachstehende Suchformular order die Karte，um Ihre Heimateinrichtung auszuwählen。