Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- semantics
- семантика 6
- logic 4
- logical consequence 4
- логіка 4
- логічний наслідок 4
- UDC 004.42:510.69 3
- predicate 3
- УДК 004.42:510.69 3
- логика 3
- логическое следствие 3
- предикат 3
- Cuman statues 1
- UDC 004.02+004.05+005.93+ 510.3 1
- UDC 004.42:510.64 1
- anomaly 1
- anthropomorphic images 1
- application problem 1
- attack 1
- distributed system 1
- horsemen 1
- information 1
- model 1
- partial predicate 1
- security 1
- sequent calculus 1
- shamans 1
- trefoil 1
- zoomorphic images 1
- УДК 004.02+004.05+005.93+ 510.3 1
-
1
Малюнки на постаментах половецьких статуй у світлі релігійних уявлень давніх тюрків
Published in Археологія (2018)
Get full text
Article -
2
Logical consequence relations in logics of quasiary predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
3
Pure first-order logics of quasiary predicates
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
4
-
5
Security basic model for applied tasks of the distributed information system
Published in PROBLEMS IN PROGRAMMING (2021)
Get full text
Article -
6
First-order logics with partial predicates for checking variable definedness
Published in PROBLEMS IN PROGRAMMING (2025)
Get full text
Article