Institutional Repository
| completeness of neighbourhood logic | |
| Barua Rana; Roy Suman; Chaochen Zhou | |
| 2000 | |
| Source | Journal of Logic and Computation
 |
| ISSN | 0955792X |
| Volume | 10Issue:2Pages:271-295 |
| Indexed Type | ei |
| Keyword | Artificial Intelligence Computational Methods Computer Programming Languages Real Time Systems Set Theory Theorem Proving |
| Department | (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 |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13660 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment