论文部分内容阅读
Category Theory for Logics
【机 构】
：
CentreforLogic,EpistemologyandHistoryofScience-UNICAMP-Brazil
【出 处】
：
第二届世界泛逻辑大会(2nd World Congress and School on Universal Logic)
【发表日期】
：
2007年8期
其他文献
随着人类基因组测序计划的完成，蛋白质组学已成为后基因组时代的研究前沿和热点领域。其中，蛋白质与配体相互作用以及蛋白质结构-功能关系的研究是蛋白质组学研究的重要内
会议