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

Item hits: (Results 1-4 of 4)

Items/Page: Sort:
	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 \|
	connection between logical and algebraic approaches to concurrent systems [会议论文] 6th International Conference on Theory and Application of Models of Computation (TAMC 09), Changsha, PEOPLES R CHINA, MAY 18-22, Zhan Naijun
	axiomatic semantics of projection temporal logic programs [会议论文] 6th International Conference on Theory and Application of Models of Computation (TAMC 09), Changsha, PEOPLES R CHINA, MAY 18-22, Yang Xiaoxiao; Duan Zhenhua; Ma Qian
	principal filters definable by parameters in e-bt [会议论文] 4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25, Li Angsheng; Li Weilin; Pani Yicheng; Tang Linqing


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