×

找到8位作者(结果1-8)

彼得·阿策尔

50种出版物(1966–2015)编入索引的
793引文
合著者: 亨德里克·彼得·巴伦德雷格特(Hendrik Pieter Barendregt);所罗门·费弗曼;尼古拉·甘比诺…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
发布日期: 彼得·阿策尔;艾泽尔,P。;艾泽尔,P.H.G。

黄雪怡

52出版物(2015年至2024年)编入索引的
217引文
合著者: 黄琼香;鲁,鲁;林慧秋…
主要字段: 组合数学(05-XX)
发布日期: 黄雪怡;黄、薛毅;黄学毅

李永生

128份出版物(1992–2023)编入索引的
793引文
合著者: 严伟;翟小平;赵彩迪…
主要字段: 偏微分方程(35-XX);流体力学(76-XX)
发布日期: 李永生;李永生

林慧秋

111出版物(2010–2024)编入索引的
880条引文
合著者: 舒、金龙;范丹丹;薛杰…
主要字段: 组合数学(05-XX)
发布日期: 林慧秋

刘军

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·斯塔特曼。

杨,范

49出版物(2011–2024)编入索引的
140篇引文
合著者: Juha Kontine;迪克·乔恩。;阿列克西·安提拉…
主要字段: 数学逻辑与基础(03-XX)
发布日期: 杨,范

赵志光

25出版物(2015年至2024年)编入索引的
79引文
合著者: 亚历山德拉·帕尔米吉亚诺;Nick Bezhanishvili;威廉·康雷迪(Willem Conradie)…
主要字段: 数理逻辑与基础(03-XX);阶、格、有序代数结构(06-XX)
发布日期: 赵志光

筛选结果依据…