Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
предикат
UDC 004.42:510.69
6
logical consequence
6
predicate
6
УДК 004.42:510.69
6
логічний наслідок
6
logic
5
логика
5
логическое следствие
5
логіка
4
equality
3
равенство
3
секвенційне числення
3
semantics
2
sequent calculus
2
рівність
2
секвенциальное исчисление
2
семантика
2
: логіка
1
automated process control systems
1
composition
1
critical information infrastructure
1
critical systems
1
cybersecurity
1
free-quantifier logic
1
partial predicate
1
renomination
1
risk
1
sequent сalculus
1
superposition
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7