说明:收录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 43207-2023 信息安全技术 信息系统密码应用设计指南.pdf
T-ZZB 2304—2021 辐射致 制 冷膜.pdf
GB-T 41773-2022 信息安全技术 步态识别数据安全要求.pdf
GB-T 40428-2021 电动汽车传导充电电磁兼容性要求和试验方法.pdf
GB-T 16427-2018 粉尘层电阻率测定方法.pdf
GB-T 42583-2023 信息安全技术 政务网络安全监测平台技术规范.pdf
GB-T 22696.1-2008 电气设备的安全 风险评估和风险降低 第1部分:总则.pdf
创业黑马 aigc安全研究报告新版.pdf
奇安信 2018勒索病毒白皮书政企篇.pdf
华商国际 数字化建筑设计研究中心-冷链物流园区规划、建设及运营的数字化发展趋势.pdf
Cisco防火墙安全配置基线.doc
DB12-T 1297-2023 电子政务云平台安全监测预警技术指南 天津市.pdf
GB-T 20020-2013 气相二氧化硅.pdf
GB-T 6297-2002 陶瓷原料差热分析方法.pdf
DB43-T 1956-2020 十字花科蔬菜黑斑病综合防治技术规程 湖南省.pdf
GB-T 23020-2013工业企业信息化和工业化融合评估规范.pdf
GB-T 38556-2020 信息安全技术 动态口令密码应用技术规范.pdf
腾讯安全 浅谈勒索病毒场景下零信任技术应用.pdf
GB-T 43697-2024 数据安全技术 数据分类分级规则 报批稿.pdf
DB31-T 1315-2021 车载毫米波雷达探测性能测试方法 上海市.pdf
交流群
-->
1
/
3
72
评价文档
赞助3.6元 点击下载(14.5 MB)
回到顶部
×
微信扫码支付
3.6
元 自动下载
官方客服微信:siduwenku
支付 完成后 如未跳转 点击这里 下载
站内资源均来自网友分享或网络收集整理,若无意中侵犯到您的权利,敬请联系我们
微信(点击查看客服)
,我们将及时删除相关资源。