论文部分内容阅读
Motivations for Studying the Independence of Axiom Sets
【机 构】
：
UnwersityatBuffalo-USA
【出 处】
：
第二届世界泛逻辑大会(2nd World Congress and School on Universal Logic)
【发表日期】
：
2007年8期
其他文献
A Theoretical Study on the Critical Difference between the Mechanisms of DNA Alkylation by Nitrosami
会议
Insight into Dynamic Interaction of Different Carbohydrates with Human Surfactant Protein DMolecular
会议
Free energy of chemical reaction and redox process in solution and in enzymes with the ab initio QMM
会议
A Theoretical Study on the Critical Difference between the Mechanism of DNA Alkylation by Nitrosamin
Ab initio calculations are carried out to study the anchimeric assistance of the nitroso group on the βcarbon electrophilic center of nitramines and nitros
会议
The photophysical properties of a series of multifunctional compounds applied in organic light-emitting diode (OLED) materials have been studied by quantum
Inspired by strong mechanical stability of "Y"-shaped beams for building construcrion,we design a new class of quasione-dimensional graphene nanostructures,
随着人类基因组测序计划的完成，蛋白质组学已成为后基因组时代的研究前沿和热点领域。其中，蛋白质与配体相互作用以及蛋白质结构-功能关系的研究是蛋白质组学研究的重要内
会议