彼得·阿策尔 50种出版物(1966–2015)编入索引的 793引文 合著者: 亨德里克·彼得·巴伦德雷格特(Hendrik Pieter Barendregt);所罗门·费弗曼;尼古拉·甘比诺… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX) 发布日期: 彼得·阿策尔;艾泽尔,P。;艾泽尔,P.H.G。 更多。。。较少的
刘军 58出版物(2011–2024)编入索引的 141引文 合著者: 王燕;姜耀林;傅鸿飞… 主要字段: 数值分析(65-XX);偏微分方程(35-XX);生物学和其他自然科学(92-XX) 发布日期: 刘军
理查德·斯塔特曼 74出版物(1977–2022)编入索引的 502引文 合著者: 贝内代托(Benedetto)的Intrigila;亨德里克·彼得·巴伦德雷格特(Hendrik Pieter Barendregt);彼得·阿策尔(Peter Aczel)… 主要字段: 数学逻辑与基础(03-XX) 发布日期: Rick,Statman先生;理查德·斯塔特曼;R·斯塔特曼。 更多。。。较少的
赵志光 25出版物(2015年至2024年)编入索引的 79引文 合著者: 亚历山德拉·帕尔米吉亚诺;Nick Bezhanishvili;威廉·康雷迪(Willem Conradie)… 主要字段: 数理逻辑与基础(03-XX);阶、格、有序代数结构(06-XX) 发布日期: 赵志光