说明:收录25万 73个行业的国家标准 支持批量下载
点击 加入 标准互相分享 微信群
文库搜索
切换导航
首页
频道
批量下载
联系我们
问题反馈
投诉渠道
商务合作
注册会员
首页
批量下载
联系我们
问题反馈
投诉渠道
商务合作
注册会员
批量下载
ICS 35.060 L 72 GB 中华人民共和国国家标准 GB/T30880—2014/IS0/IEC24707:2007 信息技术 通用逻辑(CL):基于逻辑的 语言族框架 Information technologyCommon Logic(CL) : a framework for a family of logic-based languages (ISO/IEC24707:2007,IDT) 2014-09-03发布 2015-02-01实施 中华人民共和国国家质量监督检验检疫总局 发布 中国国家标准化管理委员会 GB/T30880—2014/ISO/IEC24707:2007 目 次 前言 引言 范围 2 规范性引用文件 术语和定义 符号和缩略语 要求和设计概览 6 通用逻辑抽象语法与语义 7 符合性· 16 附录A(规范性附录) 通用逻辑交换格式(CLIF) A.1 概述 19 A.2 CLIF语法 20 A.3 CLIF语义 26 A.4 CLIF符合性 附录B(规范性附录) 概念图交换格式(CGIF) 29 B.1引言. 29 B.2 概念图核心语法和语义. 35 B.3扩展的CGIF语法 B.4 CGIF符合性 45 附录C(规范性附录) 可扩展通用逻辑置标语言(XCL) 49 C.1引言 49 C.2XCL语法 49 C.3XCL语义 66 C.4XCL符合性 66 参考文献 67
GB-T 30880-2014 信息技术 通用逻辑 CL :基于逻辑的语言族框架
文档预览
中文文档
72 页
50 下载
1000 浏览
0 评论
309 收藏
3.0分
赞助3.6元下载(无需注册)
温馨提示:本文档共72页,可预览 3 页,如浏览全部内容或当前文档出现乱码,可开通会员下载原始文档
下载文档到电脑,方便使用
赞助3.6元下载
本文档由 人生无常 于
2024-03-30 14:03:40
上传分享
举报
下载
原文档
(14.5 MB)
分享
友情链接
GB-T 549-2017 电焊锚链.pdf
GB-T 25098-2010 绝缘体带电清洗剂使用导则.pdf
DB37-T 4203.3—2020 林业碳汇计量监测体系建设规范 第3部分:森林碳储量计算 山东省.pdf
T-CAAMTB 64—2022 汽车解耦式电子助力制动系统总成性能要求及台架试验方法.pdf
T-CSAE 262—2022 电动汽车电池管理系统用故障注入测试规范.pdf
GB-T 15846-2006 集装箱门框密封条.pdf
GB-T 42768-2023 公共安全 城市安全风险评估.pdf
GB-T 31058-2014 电子工业用气体 四氟化硅.pdf
GB-T 19472.2-2017 埋地用聚乙烯 PE 结构壁管道系统 第2部分:聚乙烯缠绕结构壁管材.pdf
GB-T 19773-2005 变压吸附提纯氢系统技术要求.pdf
GB-T 30069.1-2013 金属材料 高应变速率拉伸试验 第1部分 弹性杆型系统.pdf
TB-T 2973.2-2019 列车尾部安全防护装置 第2部分%3A 旅客列车尾部安全防护装置.pdf
GB-T 32286.1-2015 软磁合金 第1部分:铁镍合金.pdf
T-SSITS 503—2022 工业应用移动机器人 复合机器人技术规范.pdf
DB34-T 5037-2022 船闸工程施工安全检查标准 安徽省.pdf
GB-T 13560-2017 烧结钕铁硼永磁材料.pdf
DB5133-T 63-2022 牦牛标准化育肥场布局及圈舍建设规范 甘孜藏族自治州.pdf
GB-T 13734-2008 耳穴名称与定位.pdf
SN-T 3733-2013 集装袋 循环顶吊试验方法.pdf
GB-T 22081-2016 信息技术 安全技术 信息安全控制实践指南.pdf
1
/
3
72
评价文档
赞助3.6元 点击下载(14.5 MB)
回到顶部
×
微信扫码支付
3.6
元 自动下载
官方客服微信:siduwenku
支付 完成后 如未跳转 点击这里 下载
售后交流群
本文档由网友分享,版权归原作者,如有侵权请随时联系我们
站内资源均来自网友分享或网络收集整理,若无意中侵犯到您的权利,敬请联系我们
微信(点击查看客服)
,我们将及时删除相关资源。