Search Results - "UDC 004.42"
Suggested Topics within your search.
Suggested Topics within your search.
- 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
Development of Web-prototype for analysis of statements in social network Twitter
Published in PROBLEMS IN PROGRAMMING (2019)Get full text
Article -
2
Сoordinated description of algorithms within the framework of algebraic vehicle
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article -
3
Spectrum of sequential number pershopordinal compositional-nominative logics
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article -
4
Special relations of logical consequence in logics of quasi-ary predicates
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article -
5
Logical consequence relations in logics of quasiary predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
6
-
7
-
8
First-order logics with partial predicates for checking variable definedness
Published in PROBLEMS IN PROGRAMMING (2025)
Get full text
Article -
9
Pure first-order logics of quasiary predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
10
Pure first-order quasiary logics with equality predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
11
Logics of general non-deterministic predicates: semantic aspects
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
12
Propositional logics of partial predicates with composition of predicate complement
Published in PROBLEMS IN PROGRAMMING (2019)
Get full text
Article -
13
-
14
-
15
Module-based scientific physics engine architecture
Published in PROBLEMS IN PROGRAMMING (2023)
Get full text
Article -
16
Composition-nominative logics of free-quantifier levels
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
17
Some aspects of software engineering for AI-based systems
Published in PROBLEMS IN PROGRAMMING (2023)
Get full text
Article