43 Фундаментальные и прикладные проблемы Computer Science 35 Теоретичні та методологічні основи програмування 30 Fundamental Problems in Computer Science 29 Кибернетика 25 Системний аналіз 23 Обчислювальні системи 19 Анализ и синтез коммуникационной информации 15 Кібернетика 15 UDC 004.42:510.69 14 УДК 004.42:510.69 14 logic 13 Інформатика та кібернетика 13 Програмно-технічні комплекси 13 логічний наслідок 13 UDC 004.94 12 logical consequence 12 Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи 12 УДК 004.94 12 логіка 12 Інструментальні засоби і середовища програмування 11 логика 11 Інформаційні і телекомунікаційні технології 10 Експертні та інтелектуальні інформаційні системи 10 Методи та засоби програмної інженерії 10 Системный анализ 10 software engineering 9 Вычислительные процессы и системы 9 Интеллектуальные системы планирования, управления, моделирования и принятия решений 9 Информатика и информационные технологии 9