|
|||||
|
|
| Kung推理过程的可靠性和完备性 | |
| 引用本文： | 黎仁蔚.Kung推理过程的可靠性和完备性[J].科学通报,1987,32(5):395-395. |
| 作者姓名： | 黎仁蔚 |
| 作者单位： | 中国科学院软件研究所 北京 |
| 摘 要： | 1985年,Kung提出了一个可以高度并行的推理过程。这个推理过程用一个矩阵表示待驳斥的子向集,然后从该矩阵形成两个布尔矩阵(0-1矩阵)M~+和M~-,利用另一个布尔矩阵M(=M~+×(M~-)~T)中布尔 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |