Suggested Topics within your search.
Suggested Topics within your search.
Теоретичні та методологічні основи програмування
54
14
UDC 004.42:510.69
3
УДК 004.42:510.69
3
логічний наслідок
3
секвенційне числення
3
004.415
2
ALC
2
RDM
2
UDC 004.62
2
UDC 519.681
2
UDC 681.3
2
logic
2
logical consequence
2
partial predicate
2
semantic web
2
Моделі та засоби систем баз даних і знань
2
УДК 004.62
2
УДК 519.6
2
УДК 519.681
2
бинарная реляционная структура данных
2
дескриптивна логіка
2
логика
2
логическое следствие
2
предикат
2
реляционная модель данных
2
реляційна модель даних
2
секвенциальное исчисление
2
004:512
1
: логіка
1
-
81
-
82
-
83
-
84
-
85
-
86
-
87
-
88
-
89
-
90
-
91
-
92
-
93
-
94
-
95
-
96
-
97
-
98
-
99
-
100