Linear Strategy for Boolean Ring BasedTheorem Proving

CSpace > 系统科学研究所

	Linear Strategy for Boolean Ring BasedTheorem Proving
	Wu JZ(吴尽昭)1; Liu ZJ(刘卓军)2
	2000
发表期刊	Journal of Computer Science and Technology
ISSN	1000-9000
卷号	15 期号:3 页码:271
语种	英语
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/48272
专题	系统科学研究所
作者单位	1.Max-Planck-Institut für Im Stadtwald 2.中国科学院数学与系统科学研究院
推荐引用方式 GB/T 7714	Wu JZ,Liu ZJ. Linear Strategy for Boolean Ring BasedTheorem Proving[J]. Journal of Computer Science and Technology,2000,15(3):271.
APA	吴尽昭,&刘卓军.(2000).Linear Strategy for Boolean Ring BasedTheorem Proving.Journal of Computer Science and Technology,15(3),271.
MLA	吴尽昭,et al."Linear Strategy for Boolean Ring BasedTheorem Proving".Journal of Computer Science and Technology 15.3(2000):271.