Результати пошуку - "consequences"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- logical consequence 11
- логічний наслідок 11
- UDC 004.42:510.69 9
- logic 9
- УДК 004.42:510.69 9
- логика 8
- логическое следствие 8
- логіка 8
- предикат 8
- predicate 7
- semantics 4
- секвенційне числення 4
- семантика 4
- equality 3
- partial predicate 3
- sequent calculus 3
- равенство 3
- частковий предикат 3
- composition 2
- flood 2
- композиция 2
- композиційна алгебра 2
- паводок 2
- рівність 2
- секвенциальное исчисление 2
- : логіка 1
- UDC 510.64 1
- UDC 004.42:510.64 1
- activation zone 1
- algebra 1
-
1
A model of control for counteracting against information attacks in cyberspace
Опубліковано 2021
Отримати повний текст
Стаття -
2
Minimization of Risks During the Liquidation of Emergencies Consequences
Опубліковано 2013
Отримати повний текст
Стаття -
3
Аnalysis of natural disasters and their impact on the environment
Опубліковано 2019
Отримати повний текст
Стаття -
4
Аssessment and prediction of flood risks in river basins
Опубліковано 2020
Отримати повний текст
Стаття -
5
-
6
Logical consequence relations in logics of quasiary predicates
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
7
-
8
-
9
The problem of flooding and analysis of the ways of its solution
Опубліковано 2023
Отримати повний текст
Стаття -
10
-
11
First-order logics with partial predicates for checking variable definedness
Опубліковано в PROBLEMS IN PROGRAMMING (2025)
Отримати повний текст
Стаття -
12
Pure first-order logics of quasiary predicates
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
13
Pure first-order quasiary logics with equality predicates
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
14
Logics of general non-deterministic predicates: semantic aspects
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
15
-
16
-
17
Composition-nominative logics of free-quantifier levels
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття