编辑配置文件（在新选项卡中打开） 范·德尔夫特（Myrthe van Delft） 合著者距离 作者ID： van-delft.myrth先生 发布日期： 范·德尔夫特（Myrthe van Delft） 已编制索引的文档： 1出版物自2017年起 合著者： 2合著者具有1联合出版物 104位合作作者 合著者 0 单作者的 1 简·赫尔曼·杰弗斯 1 Tim A.C.Willemse。 系列 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物