信息技术 通用逻辑(CL)：基于逻辑的语言族框架 GBT 30880-2014.pdf
蜗牛文库
-高品质阅读，高比例分成-
温馨提示：
1. 部分包含数学公式或PPT动画的文件，查看预览时可能会显示错乱或异常，文件下载后无此问题，请放心下载。
2. 本文档由用户上传，版权归属用户，汇文网负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容，确认文档内容符合您的需求后进行下载，若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误，付费完成后未能成功下载的用户请联系客服处理。
网站客服：3074922707
1. 部分包含数学公式或PPT动画的文件，查看预览时可能会显示错乱或异常，文件下载后无此问题，请放心下载。
2. 本文档由用户上传，版权归属用户，汇文网负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容，确认文档内容符合您的需求后进行下载，若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误，付费完成后未能成功下载的用户请联系客服处理。
网站客服：3074922707
信息技术
通用逻辑CL：基于逻辑的语言族框架
GBT
30880-2014
通用
逻辑
CL
基于
语言
框架
30880
2014
GB/T30880-2014/1S0/1EC24707:2007前言本标准按照GB/T1.1一2009给出的规则进行起草。本标准使用翻译法等同采用S0/EC24707:2007信息技术通用逻辑：基于逻辑的语言族框架(英文版)。请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。本标准由全国信息技术标准化技术委员会(SAC/TC28)提出并归口。本标准起草单位：中国标准化研究院、北京科迪智标信息技术有限公司，环境保护部信息中心，本标准主要起草人：孙广芝、邢立强、刘彦东、娄晓琳、刘定。
