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

Item hits: (Results 1-4 of 4)

Items/Page: Sort:
	三值逻辑的Craig中插定理与Herbrand定理 [期刊论文] 贵州大学学报(自然科学版), 2003-01-01, 卷号: 20, 期号: 1 李祥; 李广元 \|
	"炎黄”中文平台结构设计 [期刊论文] 中文信息学报, 2001-01-01, 卷号: 15, 期号: 4, 页码: 53 吴健; 孙玉芳; 李国华; 李祥凯 \|
	“中介逻辑”与Woodruff三值逻辑系统 [期刊论文] 科学通报, 1989-01-01, 卷号: 34, 期号: 5, 页码: 329-332 李祥; 李广元 \|
	“中介逻辑”的特征问题 [期刊论文] 科学通报, 1988-01-01, 卷号: 33, 期号: 22, 页码: 1686-1689 李祥; 李广元 \|


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