标准编号：GB/T 30880-2014

中文名称：信息技术 通用逻辑（CL）：基于逻辑的语言族框架

英文名称：Information technology—Common Logic (CL): a framework for a family of logic-based languages

发布日期：2014-09-03

实施日期：2015-02-01

代替标准：

标准类别：

采标号：ISO/IEC 24707:2007

采标名称：信息技术 通用逻辑：基于逻辑的语言族框架

采标程度：

采标类型：

ICS：

CCS：