| On the Development of Applications of Logic in Programming |
| |
| 引用本文： | Wu Yunzeng. On the Development of Applications of Logic in Programming[J]. 计算机科学技术学报, 1987, 2(1): 30-34. DOI: 10.1007/BF02943315 |
| |
| 作者姓名： | Wu Yunzeng |
| |
| 作者单位： | Peking University |
| |
| 摘 要： | 1.Preliminary RemarksBy Logic we mean the discipline which includes proof theory,model theory,recur-sion thoery and axiomatic set theory.In recent years there is a growing recognition of therelevance of logic to computer programming.The close relationship between these twofields seems to be aptly capsuled in the formula proposed by Patrick Hayes among others
|
On the development of applications of logic in programming |
| |
| Yunzeng Wu. On the development of applications of logic in programming[J]. Journal of Computer Science and Technology, 1987, 2(1): 30-34. DOI: 10.1007/BF02943315 |
| |
| Authors: | Yunzeng Wu |
| |
| Affiliation: | Peking University; |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载免费的PDF全文 |
