ISO/IEC 24707:2018
Информационные технологии. Общая логика (CL). Структура семейства языков, основанных на логике

 

78 страниц

Опубликован 16.07.2018

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