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