搜索筛选:
搜索耗时0.7412秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
类      型:
[期刊论文] 作者:郭佳宏, 鞠实儿,, 来源:中山大学学报(社会科学版) 年份:2004
鞠实儿等(2003)在开放世界预设和真值条件理论基础上,构造了3-值语句演算系统SLO及其形式语义理论。该文采用Priest(2001)列表证明的表述形式,结合Fitting(1995)多值逻辑列表...
[期刊论文] 作者:郭佳宏, 廖学文, 姚惠娟, 樊生超, 缪德年,, 来源:畜牧与兽医 年份:2004
犬干扰素不仅可用于防治犬病毒病,而且可用于犬寄生虫病和皮肤病等各类疾病的防治,具有广阔的应用前景。为了满足研究和临床应用的需要,基因工程犬干扰素的生产成为研究的重...
相关搜索: