completeness of neighbourhood logic

中国科学院软件研究所机构知识库


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In

ISCAS OpenIR > 软件所图书馆 > 期刊论文

题名:	completeness of neighbourhood logic
作者:	Barua Rana ; Roy Suman ; Chaochen Zhou
关键词:	Artificial intelligence ; Computational methods ; Computer programming languages ; Real time systems ; Set theory ; Theorem proving
刊名:	Journal of Logic and Computation
发表日期:	2000
卷:	10, 期:2, 页:271-295
收录类别:	ei
部门归属:	(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
Appears in Collections:	软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.

Recommended Citation:

Barua Rana,Roy Suman,Chaochen Zhou. completeness of neighbourhood logic[J]. Journal of Logic and Computation,2000-01-01,10(2):271-295.

Service
	Recommend this item
	Sava as my favorate item
	Show this item's statistics
	Export Endnote File
Google Scholar
	Similar articles in Google Scholar
	[Barua Rana]'s Articles
	[Roy Suman]'s Articles
	[Chaochen Zhou]'s Articles
CSDL cross search
	Similar articles in CSDL Cross Search
	[Barua Rana]‘s Articles
	[Roy Suman]‘s Articles
	[Chaochen Zhou]‘s Articles
Related Copyright Policies
Null
Social Bookmarking

所有评论 (0)

暂无评论

评注功能仅针对注册用户开放，请您登录

您对该条目有什么异议，请填写以下表单，管理员会尽快联系您。
内容：
Email：	*
单位：
验证码：	刷新

您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标题：	*
内容：
Email：	*
验证码：	刷新


	Copyright © 2007-2019 中国科学院软件研究所 - Feedback Powered by CSpace