中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-6 of 6)

Items/Page: Sort:
	quantum private comparison against decoherence noise [期刊论文] Quantum Information Processing, 2012-01-01, 页码: 1-15 Li Yan-Bing; Qin Su-Juan; Yuan Zheng; Huang Wei; Sun Ying
	the loop formula based semantics of description logic programs [期刊论文] Theoretical Computer Science, 2011-01-01, 卷号: 415, 页码: - Yisong Wang; Jia-Huai You; Li Yan Yuan; Yi-Dong Shen; Mingyi Zhang
	loop formulas for description logic programs [会议论文] 26th International Conference on Logic Programming, Edinburgh, SCOTLAND, JUL 16-19, Wang Yisong; You Jia-Huai; Yuan Li Yan; Shen Yi-Dong \|
	characterizations of stable model semantics for logic programs with arbitrary constraint atoms [期刊论文] THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009-01-01, 卷号: 9, 期号: 4, 页码: 529-564 Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan
	logic programs with abstract constraints: representaton, disjunction and complexities [会议论文] 9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United states, 43966 You Jia-Huai; Yuan Li Yan; Liu Guohua; Shen Yi-Dong \|
	enhancing global sls-resolution with loop cutting and tabling mechanisms [期刊论文] Theoretical Computer Science, 2004-01-01, 卷号: 328, 期号: 3, 页码: 271-287 Shen Yidong; Jia-Huai You; Li-Yan Yuan \|


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