Результати пошуку - "UDC 004.42"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- UDC 004.42:510.69 12
- УДК 004.42:510.69 12
- logic 10
- logical consequence 10
- логічний наслідок 10
- логика 9
- логіка 9
- логическое следствие 8
- предикат 7
- predicate 6
- 4
- semantics 4
- семантика 4
- equality 3
- partial predicate 3
- равенство 3
- секвенційне числення 3
- частковий предикат 3
- algebra 2
- composition 2
- non-deterministic predicate 2
- sequent calculus 2
- УДК 004.42 2
- алгебра 2
- композиция 2
- композиційна алгебра 2
- недетерминированный предикат 2
- недетермінований предикат 2
- рівність 2
- секвенциальное исчисление 2
-
1
-
2
Сoordinated description of algorithms within the framework of algebraic vehicle
Опубліковано в PROBLEMS IN PROGRAMMING (2025)Отримати повний текст
Стаття -
3
Spectrum of sequential number pershopordinal compositional-nominative logics
Опубліковано в PROBLEMS IN PROGRAMMING (2025)Отримати повний текст
Стаття -
4
Special relations of logical consequence in logics of quasi-ary predicates
Опубліковано в PROBLEMS IN PROGRAMMING (2025)Отримати повний текст
Стаття -
5
Logical consequence relations in logics of quasiary predicates
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
6
-
7
-
8
First-order logics with partial predicates for checking variable definedness
Опубліковано в PROBLEMS IN PROGRAMMING (2025)
Отримати повний текст
Стаття -
9
Pure first-order logics of quasiary predicates
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
10
Pure first-order quasiary logics with equality predicates
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
11
Logics of general non-deterministic predicates: semantic aspects
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
12
-
13
-
14
-
15
Module-based scientific physics engine architecture
Опубліковано в PROBLEMS IN PROGRAMMING (2023)
Отримати повний текст
Стаття -
16
Composition-nominative logics of free-quantifier levels
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
17
Some aspects of software engineering for AI-based systems
Опубліковано в PROBLEMS IN PROGRAMMING (2023)
Отримати повний текст
Стаття