论文部分内容阅读
现代模态逻辑在计算机科学中的应用研究
【出 处】
:
计算机科学
【发表日期】
:
2013年z1期
其他文献
当十年前席卷全国的SARS渐渐淡出人们的记忆时,3月31日,国家卫生和计划生育委员会通报,在上海和安徽发现3例人感染H7N9禽流感病例。这是全球范围首次发现人类感染H7N9病毒,该
所谓建筑业信息化,是指运用信息技术,特别是计算机技术、网络技术、通信技术、控制技术、系统集成技术和信息安全技术等,改造和提升建筑业技术手段和生产组织方式,提高建筑企业经
从发达国家的发展历程来看,产业资本发展到一定阶段后进而寻求与金融资本的结合,是产业发展的一般规律。随着经济全球化和我国经济实力的提升,中国企业集团正面临着走出国门,
学位
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
目前在我国,无论是职业病的预防,还是职业病的救治,都面临着许多亟待解决的问题。如何破解这一难题?来自社会各界的10多位专家,提出了自己的建议。《职业病防治法(修正案)》
随着中国天然气产业链的形成和完善,天然气产业链作为网络性产业的特征越来越明显。所以研究风险因素是如何通过风险事件作用于节点,从而引起节点气量的变化,并且通过节点之间的
同煤集团在做大做强煤炭、电力两大主业的同时,按照气化山西的要求,积极推进煤化工项目建设,全力打造煤化工循环经济园区,推动企业转型跨越发展。年产60万吨甲醇项目是同煤集
21世纪经济是城市经济,城市经济是服务经济。生产性服务业是服务业中发展最快的部分,生产性服务业的发展水平是衡量-个国家或地区现代化水平的重要标志,发达国家和地区的发展实
学位