检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:吴文俊[1] 陆柱家(译) 李文林(校) Wu Wen-Tsun
出 处:《数学译林》2019年第3期240-248,共9页MATHEMATICS
摘 要:今年5月12日是数学家吴文俊先生诞辰100周年.吴文俊先生是中国科学院院士,他在拓扑学、自动推理、符号计算、中国数学史等研究领域都取得了杰出的成就,因而他获得了首届国家自然科学奖一等奖(1956年),第三世界科学院数学奖(1990年),陈嘉庚数理科学奖(1993年),香港求是科技基金会杰出科学家奖(1994年),Herbrand自动推理杰出成就奖(1997年),首届国家最高科学技术奖(2000年),和邵逸夫数学科学奖(2006年)等国内、国际的科学大奖.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15