论文部分内容阅读
Is there a translation from intuitionistic logic into classical logic
【机 构】
:
StateUniversityofCampinas-BrazilS(a)oPauloStateUniversity-Brazil
【出 处】
:
第二届世界泛逻辑大会(2nd World Congress and School on Universal Logic)
【发表日期】
:
2007年8期
其他文献
生态营区代表了未来营区的发展方向,是现代化营区的主要标志。
本文分析了武警部队建设生态营区的有利因素,提出创建生态营区主要途径要一靠教育、二靠技术、三靠管理。
使用絮凝剂处理含油污水,因具有投资低廉、运行费用低等优点,常作为含油污水的一级处理法。本文综述了用于含油污水处理的三大类絮凝剂的研究与应用现状:①目前国内应用及研究开
随着军事科技的发展,现代军事行动所导致的环境问题受到越来越多的关注。
本文阐述了现代军事行动对环境的影响,论述了军事环境问题产生的根源,提出了加强国际公约的约束力
介绍了Haldor Topsoe脱硝催化剂的物理化学特征及操作条件,分析了催化剂钝化的因素,展示了该催化剂的工业业绩及工程实例.
本文介绍了新开发的汽油/液化石油气(LPG)两用燃料摩托车的设计关键技术和摩托车整车转鼓试验、道路试验的性能。研究结果表明,两用燃料摩托车燃用LPG时,动力性达到汽油的97%,
会议
Semi-aerobic landfill was applied for improvement of waste degradation and reduction of methane emission in tropical landfill using lysimeter investigations.The
会议