说明:收录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)
分享
友情链接
信息安全策略.pdf
DB5201-T 108-2020 旅游企业诚信服务规范 贵阳市.pdf
NY-T 2922-2016 梨种质资源描述规范.pdf
SANS 应急响应处理手册 incident-handlers-handbook 英文版.pdf
T-DFLX 013—2023 梅花鹿茸冻干技术规范.pdf
GB-T 27648-2011 重要湿地监测指标体系.pdf
DB14-T 2136-2020 《特种设备风险分级管控实施指南》 山西省.pdf
GB-T 31049-2022 石油天然气钻采设备 顶部驱动钻井装置.pdf
GB 9706.205-2020 医用电气设备 第2-5部分:超声理疗设备的基本安全和基本性能专用要求.pdf
NY-T 1875-2020 联合收获机报废技术条件.pdf
之江实验室 - 2023.6.6 - 生成式大模型安全与隐私白皮书.pdf
GB-T 37941-2019 信息安全技术 工业控制系统网络审计产品安全技术要求.pdf
GB-T 36351.2-2018 信息技术 学习、教育和培训 教育管理数据元素 第2部分:公共数据元素.pdf
GB-T 36250-2018 基于模型的航空装备研制 企业数字化能力等级评价.pdf
信通院 量子信息技术发展与应用研究报告 2022年.pdf
GB-T 15909-2017 电子工业用气体 硅烷.pdf
T-WAPIA 045.4—2021 信息技术 系统间远程通信和信息交换 原子密钥建立与实体鉴别 第4 部分:采用预共享密钥的原子密钥建立与实体鉴别.pdf
GB-T 23050-2022 信息化和工业化融合管理体系 供应链数字化管理指南.pdf
DB11-T 1289-2015 信息技术 灾难恢复系统成本效益评估规范 北京市.pdf
NB-T 10936-2022 电加热锅炉技术条件.pdf
交流群
-->
1
/
3
72
评价文档
赞助3.6元 点击下载(14.5 MB)
回到顶部
×
微信扫码支付
3.6
元 自动下载
官方客服微信:siduwenku
支付 完成后 如未跳转 点击这里 下载
站内资源均来自网友分享或网络收集整理,若无意中侵犯到您的权利,敬请联系我们
微信(点击查看客服)
,我们将及时删除相关资源。