8 (905) 200-03-37 Владивосток
с 09:00 до 19:00
CHN - 1.14 руб. Сайт - 17.98 руб.

Споты в день экспресса GB/T 30880-2014 Общая логика информационных технологий (CL): Langucing Clan Framework

Цена: 702руб.    (¥39)
Артикул: 578418029914

Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.

Этот товар на Таобао Описание товара
Продавец:赛格互动图书专营店
Адрес:Пекин
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥115.342 074руб.
¥232.444 180руб.
¥77.91 401руб.
¥26468руб.

GB/T 30880-2014
Общая логика информационных технологий (CL): логика на основе языкового клана.
【Стандартное оборудование】GB/T 30880-2014
【Стандартное имя】Общая логика информационных технологий (CL): логика на основе языкового клана.
【Английское имя】Information technology—Common Logic (CL): a framework for a family of logic-based languages
【Издательский блок】Китайский инспекция качества и издательство China Standard Press
【Победная классификация】L Электронные компоненты и информационные технологии>L70/84 Технология обработки информации>Кодирование L71, набор символов, распознавание символов
【Классификация ICS】35.060
【Стандарт замены】
【Отдел выпуска】Национальное управление качеством надзора и инспекции, а также комитет по управлению карантином и национальным управлением стандартизацией
【Получите обменную единицу】Технический комитет по стандартизации национальных информационных технологий
【Блок составы】Научно -исследовательский институт стандартизации Китая, Пекин Kodi Zhibiao Information Technology Co., Ltd. и Министерство информационного центра по охране окружающей среды
【Номер плана】20080045-T-469
【Дата выпуска】3 сентября 2014 г.
【Дата реализации】1 февраля 2015 г.
【Дата публикации】Ноябрь 2014
【Откройте номер этой страницы】16 Open / 72 страницы
【Стандартные цены】60.00 Юань
 
краткое введение
Этот стандарт определяет абстрактный синтаксис общей логики и определяет теоретическую теоретическую семантическую семантику, связанную с конкретным расширением логики первого порядка.Цель состоит в том, чтобы использовать содержание любой системы первой логики, чтобы выразить ее в этом стандарте, тем самым способствуя обмену информации на основе первой логики.