编辑配置文件（在新选项卡中打开） 阿迪·普拉巴瓦 合著者距离 作者ID： 普拉巴瓦阿迪 发布日期： 阿迪·普拉巴瓦 已编制索引的文档： 1出版物自2018年起 合著者： 3位合著者具有1联合出版物 43联合作者 合著者 0 单作者的 1 马哈穆杜尔·费萨尔·阿梅恩 1 魏恩根·钦 1 本笃·李 系列 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68-XX） 按年份列出的出版物