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
-
61
-
62
-
63
-
64
-
65
-
66
-
67
-
68
-
69
-
70
-
71
-
72
-
73
-
74
-
75
-
76
-
77
-
78
-
79
-
80