The char-set method and its applications to automated reasoning

CSpace

	The char-set method and its applications to automated reasoning
	Wu, WT
	1997
发表期刊	AUTOMATED DEDUCTION - CADE-14
卷号	1249 页码:1-3
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000073947500001
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/13302
专题	中国科学院数学与系统科学研究院
通讯作者	Wu, WT
作者单位	Acad Sinica, Inst Syst Sci, Math Mechanizat Res Ctr, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Wu, WT. The char-set method and its applications to automated reasoning[J]. AUTOMATED DEDUCTION - CADE-14,1997,1249:1-3.
APA	Wu, WT.(1997).The char-set method and its applications to automated reasoning.AUTOMATED DEDUCTION - CADE-14,1249,1-3.
MLA	Wu, WT."The char-set method and its applications to automated reasoning".AUTOMATED DEDUCTION - CADE-14 1249(1997):1-3.