论文部分内容阅读
格值一阶逻辑LF(X)中的α-语义归结方法
【机 构】
：
西南交通大学智能控制开发中心,四川成都 610031
【出 处】
：
中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会
【发表日期】
：
2012年期
其他文献
沙漠石油勘探属野外露天作业,每年夏季在劳动中都有中暑发生,严重影响职工健康。为此,我们于1986年至1990年每年对塔克拉玛干沙漠工区职工进行一次健康体检,并对沙漠夏季高
为了解和掌握我校学生因病休学、退学和死亡的情况及影响因素,现对复校以来13年中学生的病休、病退和死亡的情况进行了回顾性调查分析。 1 资料来源收集我校1977年复校以来