编辑配置文件（在新选项卡中打开） 苏菲·雷诺 合著者距离 作者ID： 重命名.sophie 发布日期： 苏菲·雷诺 已编制索引的文档： 2出版物自1999年起 合著者： 3位合著者具有2联合出版物 53位合作作者 合著者 0 单作者的 1 爱德华·塞尔尼 1 阿尔贝托·佩特罗西 1 毛里齐奥·普罗埃蒂 系列 1 高阶和符号计算 领域 2 计算机科学（68至XX） 按年份列出的出版物