编辑配置文件(在新选项卡中打开) 纪尧姆·安巴尔 合著者距离 作者ID: 安巴尔·吉劳姆 发布日期: 纪尧姆·安巴尔 已编制索引的文档: 1出版物自2021年起 合著者: 2位合著者具有1联合出版物 45位合作作者 合著者 0 单作者的 1 塞尔盖·伦格利特 1 阿兰·施密特 系列 1 自动推理杂志 领域 1 计算机科学(68至XX) 按年份列出的出版物