信息技术 通用逻辑(CL):基于逻辑的语言族框架

Information technology—Common Logic (CL): a framework for a family of logic-based languages

GB/T 30880-2014 推荐性国家标准

现行

标准状态

发布日期

2014-09-03

实施日期

2015-02-01

基础信息

标准号

GB/T 30880-2014

批准发布部门

国家标准委

发布部门

中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会

技术归口

国家标准委

是否采用国际标准

该标准采用国际标准

标准分类

中国标准分类号

L72

国际标准分类号

35.060

标准层级

国家标准

GB/T 30880-2014 相关专题

GB/T 30880-2014 相似标准

标准号 标准名称 状态 发布日期 实施日期
GB/T 24589.1-2024 财经信息技术 会计核算软件数据接口 第1部分:企业 现行 2024-12-31 2025-07-01
GB/T 30247-2013 信息技术 数字版权管理 术语 现行 2013-12-31 2014-07-15
GB/T 29265.502-2017 信息技术 信息设备资源共享协同服务 第502部分:远程访问测试 现行 2017-11-01 2018-05-01
GB/T 35103-2017 信息技术 Web服务互操作基本轮廓 现行 2017-11-01 2018-05-01
GB/T 5271.8-2001 信息技术 词汇 第8部分:安全 现行 2001-07-16 2002-03-01
GB/T 5271.23-2000 信息技术 词汇 第23部分:文本处理 现行 2000-07-14 2001-03-01
GB/T 29265.405-2012 信息技术 信息设备资源共享协同服务 第405部分:媒体中心设备 现行 2012-12-31 2013-07-01
GB/T 24405.2-2010 信息技术 服务管理 第2部分:实践规则 现行 2010-12-01 2011-04-01
GB/T 17579-1998 信息技术 开放系统互连 虚拟终端基本类服务 现行 1998-11-18 1999-07-01
GB/T 9387.1-1998 信息技术 开放系统互连 基本参考模型 第1部分:基本模型 现行 1998-02-26 1998-10-01
GB/T 16262.2-2025 信息技术 抽象语法记法一(ASN.1)第2部分:信息客体规范 现行 2025-03-28 2025-10-01
GB/T 33475.7-2024 信息技术 高效多媒体编码 第7部分:图片文件格式 现行 2024-05-28 2024-12-01
GB/T 30269.503-2017 信息技术 传感器网络 第503部分:标识:传感节点标识符注册规程 现行 2017-11-01 2018-05-01
T/SIA 032-2022 软件和信息技术服务业企业信用评价指南 现行 2022-04-28 2022-04-28
GB/T 18491.5-2010 信息技术 软件测量 功能规模测量 第5部分:功能规模测量的功能域确定 现行 2010-12-01 2011-04-01
GB/T 25906.5-2010 信息技术 通用多八位编码字符集 锡伯文、满文名义字符、显现字符与合体字 48点阵字型 第5部分:奏折体 现行 2011-01-10 2011-11-01
SJ/T 11565.1-2015 信息技术服务 咨询设计 第1部分:通用要求 现行 2015-10-10 2016-04-01
GB/T 24405.1-2009 信息技术 服务管理 第1部分:规范 现行 2009-09-30 2009-12-01
GB/T 32416-2015 信息技术 Web服务可靠传输消息 现行 2015-12-31 2017-01-01
GB/T 45393.4-2025 信息技术 建筑信息模型(BIM)软件 第4部分:网格模型 现行 2025-03-28 2025-10-01
GB/T 31100.201-2014 信息技术 家用电子系统(HES)体系结构 第2-1部分:导言和设备模块化 现行 2014-09-03 2015-02-01
GB/T 30269.901-2016 信息技术 传感器网络 第901部分:网关:通用技术要求 现行 2016-10-13 2017-05-01
SJ/T 11678.3-2017 信息技术 学习、教育和培训 协作技术 协作空间 第3部分:协作组数据模型 现行 2017-04-12 2017-07-01
GB/T 36464.4-2018 信息技术 智能语音交互系统 第4部分:移动终端 现行 2018-06-07 2019-01-01
GB/T 20090.12-2015 信息技术 先进音视频编码 第12部分:综合场景 现行 2015-12-10 2016-08-01
GB/T 4996-2014 联运通用平托盘 试验方法 废止 2014-10-10 2015-06-01