马希文
【姓名】 马希文
【职称】
【研究领域】 计算机软件及计算机应用;数学;中国语言文字;
【研究方向】
【发表文献关键词】 拟因子,计算机,运行序列,无定义,结点,逻辑问题,形式化,均衡搭配,谓词,验证系统,计算机学报,PASCAL程序,引理,中间语言,理解自然语言,关系方法,一阶谓词逻辑,拟因子设计,人工智能,有序树,效...
【工作单位】 北京大学
【曾工作单位】 北京大学;
【所在地域】 北京海淀
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/22 2 2 18 65 2763
中国期刊全文数据库    共找到20篇
[1]王维娟,黄乘规,周芝英,马希文.厚壁筒中的温度分布[J]北京大学学报(自然科学).1958,(04)
[2]马希文.有限传输设备系统的Feinstein引理[J]数学学报.1964,(02)
[3]马希文.树计算机与树程序[J]计算机学报.1978,(01)
[4]马希文.关于拟因子法[J]数学的实践与认识.1979,(04)
[5]马希文.斯坦福大学PASCAL程序验证系统[J]国外自动化.1981,(06)
[6]马希文.有关“知道”的逻辑问题的形式化[J]哲学研究.1981,(05)
[7]马希文.语义学中的关系方法[J]计算机学报.1982,(01)
[8]马希文;郭维德;.W—JS有关“知道”的模态逻辑[J]计算机研究与发展.1982,(12)
[9]马希文.分布式计算与异步叠代法[J]数学的实践与认识.1983,(03)
[10]王湘浩;李家治;管纪文;刘叙华;何志钧;石纯一;马希文;.关于人工智能[J]计算机科学.1983,(02)
更多