| completeness of neighbourhood logic | |
| Barua Rana; Roy Suman; Chaochen Zhou | |
| 2000 | |
| 发表期刊 | Journal of Logic and Computation
 |
| ISSN | 0955792X |
| 卷号 | 10期号:2页码:271-295 |
| 收录类别 | ei |
| 关键词 | Artificial Intelligence Computational Methods Computer Programming Languages Real Time Systems Set Theory Theorem Proving |
| 部门归属 | (1) Div. of Theor. Stat. and Mathematics, Indian Statistical Institute, 203 B.T. Road, Calcutta 700 035, India; (2) Dept. of Comp. Sci. and Automation, Indian Institute of Science, Bangalore 560 012, India; (3) Intl. Inst. for Software Technology, United |
| 语种 | 英语 |
| 内容类型 | 期刊论文 |
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13660 |
| 专题 | 中国科学院软件研究所 |
| 推荐引用方式 GB/T 7714 | Barua Rana,Roy Suman,Chaochen Zhou. completeness of neighbourhood logic[J]. Journal of Logic and Computation,2000,10(2):271-295. |
| APA | Barua Rana,Roy Suman,&Chaochen Zhou.(2000).completeness of neighbourhood logic.Journal of Logic and Computation,10(2),271-295. |
| MLA | Barua Rana,et al."completeness of neighbourhood logic".Journal of Logic and Computation 10.2(2000):271-295. |
| 条目包含的文件 | 条目无相关文件。 | |||||
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论