马希文教授部分著作
著作
《程序设计学》，科学出版社，1985
《正交设计的数学理论》，人民教育出版社，1981
《LISP语言》，马希文 宋柔，高等教育出版社，1990
Introduction to Theoretical Computer Science, World Scientific Publishing co. pte.ltd,1990
数学花园漫游记 中国少年儿童出版社 1980
数学论文
双曲函数 数学通报，1956.7, P19-22 1956.7
有限传输设备系统的Feinstein引理 数学学报，V14, NO2, 1964, P291-303 1964
机器证明及其应用（I） 科技参考（计算机应用与应用数学）1978.4,p20-27 1978.4
机器证明及其应用（II,III） 科技参考（计算机应用与应用数学）1978.8, p17-23,24-28 1978.8
关于拟因子法 数学的实践与认识1979年第4期 1979
分布式计算与异步迭代法， 数学的实践与认识，1983.3, p33-35 1983.3
计算机科学论文
树计算机与树程序，《计算机学报》，1978.1，第1卷第1期，71-81
语义学中的关系方法，《计算机学报》1982.1，第5卷第1期，1-10
W-JS: A Modal Logic of Knowledge 1983 International Joint Conference on Artificial Intelligence (IJCAI 83), 398-401 Ma Xiwen, Guo Weide
W-JS：有关"知道"的模态逻辑，《计算机研究与发展》1982.1（马希文，郭维德）
理论计算机科学引论，《计算机研究与发展》1988.2, pp1-36
什么是可计算性，《计算机研究与发展》1988.11, pp14-17
自然语言理解，《计算机工程与应用》1987.4, pp18-21
计算机与思维 《人·自然·社会》孙小礼，楼格编，北京大学出版社 1987
计算机与社会 《人·自然·社会》孙小礼，楼格编，北京大学出版社 1987
计算机与思维科学 《关于思维科学》钱学森主编，上海人民出版社，1986.7 1986
人脑、计算机和"电脑" 《思维科学》1985年第1期 1985
基于互动的计算机汉字楷书识别，《自动化学报》1992.4, pp502-504。周昌乐，马希文
语言学论文
动词"了"的弱化形式/l u/，中国语言学报，1982年第1期，1-14页
计算机与文字改革，文字改革1984年第5期，23-26页
通字，汉字改革的一种途径，文字改革1985年第3期，18-20页
有关副词"再"的句式，中国语文1985年第3期，105-114页
语文工作与科学技术，语文建设1986年第1-2期（合刊）34-36页
北京方言里的"着"，方言，1987年第1期，17-22页
自然语言理解 计算机工程与应用pp18-21 1987.4
有关动结式动词的句式，中国语文1987年第6期，424-441页
从计算机中文系统看汉语拼音方案，语文建设1988年第1期，7-9页
语言学资料的计算机处理，语文建设1988年第6期，3-10页
以计算语言学为背景看语法问题，国外语言学，1989年第3期，139-145页
比较方言学中的计量方法，中国语文1989年第5期，348-360页
自然语言理解与自动文摘 《智能技术与系统基础》北京大学出版社，99-108 1990.2 马希文，李小滨，徐越
做序
译著：计算机不能做什么
译著：哥德尔、艾舍尔、巴赫----集异壁之大成
白硕：语言学知识的计算机辅助发现 白 硕著
讲义