搜索筛选:
搜索耗时4.1671秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：Xiao-Chun Cheng,
来源：国际自动化与计算杂志：英文版 年份：2005
在这篇论文，下列结果被证明：(1 ) 使用删除策略和锁策略，分辨率为有一样的谓语的文字或提议标志有一样的索引的一个子句集合是完全的。(2 ) 使用删除策略，积极联合起来的锁分辨率......
[期刊论文] 作者：Xiao-Qi Ma,Xiao-Chun Cheng,
来源：国际自动化与计算杂志：英文版 年份：2005
This paper describes the formal verification of the Merchant Registration phase of the Secure Electronic Transactions (SET) protocol, a realistic electronic tra...
Distinctive effects of morphine on basolateral amygdale and nucleus accumbens core in morphine-sensi
[会议论文] 作者：Xiao-Chun CHENG,Jun HUANG,Sen ZHANG,Wei-Wei WANG,Meng-Ya WANG,
来源：第十三次中国生物物理学术大会 年份：2013
...
Distinctive effects of morphine on basolateral amygdale and nucleus accumbens core in morphine-sensi
[会议论文] 作者：Xiao-Chun CHENG,Jun HUANG,Sen ZHANG,Wei-Wei WANG,Meng-Ya WANG,
来源：第十三次中国生物物理学术大会 年份：2013
...
相关搜索：
