Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
53
Фундаментальные и прикладные проблемы Computer Science
35
Fundamental Problems in Computer Science
29
UDC 004.42:510.69
13
УДК 004.42:510.69
13
logic
12
логічний наслідок
12
UDC 004.94
11
logical consequence
11
УДК 004.94
11
логіка
11
логика
10
UDC 681.3
9
software engineering
9
Теоретичні та методологічні основи програмування
9
УДК 681.3
8
логическое следствие
8
інженерія програмного забезпечення
8
genetic algorithm
7
генетичний алгоритм
7
предикат
7
секвенційне числення
7
predicate
6
Обчислювальні системи
6
partial predicate
5
sequent calculus
5
software
5
Кибернетика
5
УДК 004.4'24
5
екосистема програмного забезпечення
5
-
1
-
2
-
3
-
4за авторством Палагін, О.В., Багацький, В.О., Багацький, О.В.Отримати повний текст
Опубліковано в: Control systems & computers (2020)
Стаття -
5
-
6
-
7
-
8
-
9
-
10
-
11за авторством Grytsenko, V.I., Kudriavtseva, S.P., Synytsya, K.M.Отримати повний текст
Опубліковано в: Control systems & computers (2020)
Стаття -
12за авторством Баркалов, О.О., Тітаренко, Л.О., Візор, Я.Є., Матвієнко, О.В.Отримати повний текст
Опубліковано в: Control systems & computers (2019)
Стаття -
13
-
14
-
15за авторством Koliechkina, L.M., Dvirna, O.A., Nahirna, A.M.Отримати повний текст
Опубліковано в: Control systems & computers (2020)
Стаття -
16
-
17за авторством Летичевський, О.О., Гринюк, Я.В., Яковлев, В.М.Отримати повний текст
Опубліковано в: Control systems & computers (2019)
Стаття -
18
-
19
-
20