a programmable approach to maintenance of a finite knowledge base

ISCAS OpenIR

	a programmable approach to maintenance of a finite knowledge base
	Luan SM; Dai GZ; Li W
	2003
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	18 期号:1 页码:102-108
收录类别	sci ; acm
关键词	Knowledge Base Maintenance Propositional Logic Predicate Logic Clause Set
部门归属	Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. Beijing Univ Aeronaut & Astronaut, Dept Comp Sci & Engn, Beijing 100083, Peoples R China.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
语种	英语
WOS记录号	WOS:000180577400013
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13180
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Luan SM,Dai GZ,Li W. a programmable approach to maintenance of a finite knowledge base[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2003,18(1):102-108.
APA	Luan SM,Dai GZ,&Li W.(2003).a programmable approach to maintenance of a finite knowledge base.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,18(1),102-108.
MLA	Luan SM,et al."a programmable approach to maintenance of a finite knowledge base".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 18.1(2003):102-108.