论文部分内容阅读
Pi演算与动态描述逻辑DDL的关系研究
【出 处】
：
计算机研究与发展
【发表日期】
：
2008年z1期
其他文献
自从20世纪30年代国家干预经济的宏观政策在发达市场经济国家推行以来，货币政策一直是实施宏观经济调控的两大支柱之一。改革开放以来，我国越来越频繁地采用货币政策手段调控经
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
在今年的亚洲工程机械博览会上,卡特彼勒展出一系列最新产品.卡特彼勒在其2700平方米的展区安排了教育研讨培训和现场设备演示区.通过这些机器应用的演示,让用户观众更加直观
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
1、获益于中国旺盛的需求,国内工程机械行业逐步形成优势产业,国内优秀工程机械企业逐步成长为初步具备国际竞争力的企业;预计“十一五”期间我国固定资产投资的增速保持在20
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊