Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
semantics
семантика
3
UDC 004.42:510.69
2
logic
2
logical consequence
2
predicate
2
УДК 004.42:510.69
2
логика
2
логическое следствие
2
логіка
2
логічний наслідок
2
предикат
2
UDC 004.02+004.05+005.93+ 510.3
1
anomaly
1
application problem
1
attack
1
distributed system
1
information
1
model
1
security
1
sequent calculus
1
УДК 004.02+004.05+005.93+ 510.3
1
аномалія
1
атака
1
безпека
1
модель
1
прикладна задача
1
розподілена система
1
секвенциальное исчисление
1
секвенційне числення
1
-
1
-
2
-
3