Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
381
-
382
-
383
-
384за авторством Martynov, E., Svistunov, S., Zinovjev, G.Отримати повний текст
Опубліковано в: Системні дослідження та інформаційні технології (2009)
Стаття -
385
-
386
-
387за авторством Raźny, P.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2017)
Стаття -
388за авторством Shadura, O., Petrenko, A., Svistunov, S.Отримати повний текст
Опубліковано в: Системні дослідження та інформаційні технології (2017)
Стаття -
389за авторством Грунский, И.С., Стёпкин, А.В.Отримати повний текст
Опубліковано в: Труды Института прикладной математики и механики (2009)
Стаття -
390
-
391
-
392
-
393
-
394
-
395
-
396
-
397за авторством Додонов, Є.О., Додонов, О.Г., Кузьмичов, А.І.Отримати повний текст
Опубліковано в: Реєстрація, зберігання і обробка даних (2018)
Стаття -
398
-
399
-
400