enumerating proofs of positive formulae

ISCAS OpenIR > 2009年期刊/会议论文

	enumerating proofs of positive formulae
	Dowek Gilles; Jiang Ying
	2009
发表期刊	COMPUTER JOURNAL
ISSN	0010-4620
卷号	52 期号:7 页码:799-807
收录类别	sci,ei
关键词	Positive Formulae Enumerating Proofs Minimal Predicate Logic
部门归属	Jiang, Ying Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China. Dowek, Gilles Ecole Polytech, LIX, INRIA, F-91128 Palaiseau, France.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Information Systems ; Computer Science, Software Engineering
语种	英语
WOS记录号	WOS:000271903900006
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/7956
专题	2009年期刊/会议论文
推荐引用方式 GB/T 7714	Dowek Gilles,Jiang Ying. enumerating proofs of positive formulae[J]. COMPUTER JOURNAL,2009,52(7):799-807.
APA	Dowek Gilles,&Jiang Ying.(2009).enumerating proofs of positive formulae.COMPUTER JOURNAL,52(7),799-807.
MLA	Dowek Gilles,et al."enumerating proofs of positive formulae".COMPUTER JOURNAL 52.7(2009):799-807.