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