标题：    amp；amp；阿提特：第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2020，比利时布鲁塞尔，9月21日&ndash；22, 2020   amp；amp；奥拉斯特：拉斯金   amp；amp；日期：2020   amp；amp；doi（操作界面）：10.4204/EPTCS.326   amp；amp；体裁：书   amp；amp；身份证件：7361054   amp；amp；发行编号：2075-2180   amp；amp；页：233个；p.，仅电子版   amp；amp；搅拌棒：电子。程序。西奥。计算。科学。（EPTCS）   amp；amp；标题：理论计算机科学电子论文集（EPTCS）   amp；amp；体积：326   侧面：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。