孙希文
【姓名】 孙希文
【职称】 副教授;
【研究领域】 计算机软件及计算机应用;数学;逻辑学;
【研究方向】 计算机应用方面的研究工作
【发表文献关键词】 组合算子,闭包,一阶理论,音字转换,逆推理,归约模型,函数符号,超积基本定理,一阶语言,元符号,代数和,数值模型,表达式,机器学习,原子公式,类型理论,等价类,等价关系,快速组合,模态逻辑,约束变量,...
【工作单位】 哈尔滨工业大学
【曾工作单位】 哈尔滨工业大学;
【所在地域】 哈尔滨
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/9 3 2 4 16 365
中国期刊全文数据库    共找到8篇
[1]张海义，王开铸，孙希文.一个逆推理系统NJ—A的设计与实现[J]哈尔滨工业大学学报.1995,(02)
[2]暴建民 ,孙逢玖,戚春红,孙希文.基于类型理论的构造性软件测试模型[J]黑龙江电子技术.1996,(01)
[3]叶风,孙希文,钱国良,毕建东.一种形式化逆推的逻辑方法[J]哈尔滨工业大学学报.1997,(04)
[4]孙希文.模态逻辑的闭包代数值模型(一)[J]哈尔滨工业大学学报.1983,(04)
[5]孙希文.模态逻辑的闭包代数值模型(二)[J]哈尔滨工业大学学报.1984,(01)
[6]孙希文,李爱中.Fuzzy Prolog简介[J]微电子学与计算机.1989,(03)
[7]王文敏,方滨兴,孙希文,胡铭曾.一种快速组合算子归约模型FCRM[J]计算机学报.1990,(03)
[8]王晓龙,王开铸,孙希文,王英伟.音字转换中的机器学习研究[J]计算机学报.1993,(05)
更多
中国重要会议全文数据库    共找到1篇
[1]孙希文;.模态逻辑模型的嵌入定理[A].1994年逻辑研究专辑.1994-06-30
更多