编辑配置文件（在新选项卡中打开） 阿德里安·雷沃（Adrien Revault） 合著者距离 作者ID： dallonnes.adrien-revault公司 发布日期： 阿德里安·雷沃（Adrien Revault） 已编制索引的文档： 1出版物自2017年起 合著者： 2合著者具有1联合出版物 29位合作作者 合著者 0 单作者的 1 Bénédicte Legastelois 1 玛丽·珍妮·莱索特 系列 1 国际近似推理杂志 领域 1 数学逻辑和基础（03-XX） 按年份列出的出版物