Information Technology - Programming Languages - Prolog - Part 2: Modules
标准号:ANSI/INCITS/ISO/IEC 13211-2-2000
标准名称: 信息技术.程序设计语言.PROLOG.第2部分:模块
英文名称:Information Technology - Programming Languages - Prolog - Part 2: Modules
标准类型:国外标准
标准状态:现行
中国标准分类号(CCS):L74
国际标准分类号(ICS):35.060
ANSI ISO/IEC 13211-2-2000 现行
信息技术.Prolog语言.第2部分:被INCITS采用的模块
ISO/IEC 13211-2-2000 现行
信息技术 程序设计语言 Prolog 第2部分:模块
BS ISO/IEC 13211-2-2000 现行
信息技术.程序设计语言.PROLOG.模数
ANSI/INCITS/ISO/IEC 13211-1-1995 现行
信息技术.PROLOG语言.第1部分:主要核心内容
ANSI/INCITS/ISO/IEC 13818-2-2000 现行
信息技术.运动图像及其伴音信息的通用编码:视频
ANSI/INCITS/ISO/IEC 19105-2000 现行
地理信息.符合性及试验
ANSI/INCITS/ISO/IEC 14752-2000 现行
信息技术.开放分布式处理.对计算交互用的协议支持
ANSI ISO/IEC 13211-1-1995 现行
信息技术.Prolog语言.第1部分:被INCITS采纳的一般核心
ANSI/INCITS/ISO/IEC 10118-1-2000 现行
信息技术.安全技术.散列函数.第1部分:总则
ANSI/INCITS/ISO/IEC 9796-3-2000 现行
信息技术.安全技术.带消息恢复功能的数字签名方案.第3部分:基于离散对数机制