Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
logic
3
логіка
3
2
logical consequence
2
partial predicate
2
логічний наслідок
2
частковий предикат
2
7-valued predicate
1
7-значный предикат
1
7-значний предикат
1
Computer Simulation
1
Physics Engine
1
Physics Pipeline
1
Software Architecture
1
UDC 004.42+004.94
1
UDC 004.42:510.64
1
UDC 004.42:510.69
1
UDC 510.64
1
UDC 681.3
1
algebra
1
completeness
1
equality
1
non-deterministic predicate
1
semantics
1
sequent calculus
1
soundness
1
Екологічна безпека
1
Исследования молодых ученых
1
Моделі та засоби систем баз даних і знань
1
Резюме
1
-
1
-
2
-
3за авторством Чернинский, А.А., Зима, И.Г., Макарчук, Н.Е., Пискорская, Н.Г., Крижановский, С.А.Отримати повний текст
Опубліковано в: Нейрофизиология (2009)
Стаття -
4за авторством Nikitchenko, M., Shkilniak, S.Отримати повний текст
Опубліковано в: Algebra and Discrete Mathematics (2017)
Стаття -
5
-
6
-
7за авторством Bengtsson, Anders K.H.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2008)
Стаття -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17за авторством Нікітченко, М.С., Шкільняк, O.С., Шкільняк, С.С.Отримати повний текст
Опубліковано в: Штучний інтелект (2018)
Стаття -
18за авторством Bratchenko, M.I., Bryk, V.V., Dyuldya, S.V., Kalchenko, A.S., Lazarev, N.P., Voyevodin, V.N.Отримати повний текст
Опубліковано в: Вопросы атомной науки и техники (2013)
Стаття -
19