Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
401
-
402
-
403
-
404
-
405за авторством Palagin, A.V., Petrenko, N.G., Velichko, V.Yu., Malakhov, K.C., Tikhonov, Yu.L.Отримати повний текст
Опубліковано 2015
Стаття -
406
-
407
-
408
-
409
-
410
-
411
-
412
-
413за авторством Пархоменко, О.В., Пархоменко, В.Д.Отримати повний текст
Опубліковано в: Наука, технології, інновації (2017)
Стаття -
414
-
415
-
416
-
417
-
418
-
419за авторством Шкільняк, О.С., Касьянюк, В.С., Малютенко, Л.М.Отримати повний текст
Опубліковано в: Штучний інтелект (2016)
Стаття -
420