Search


 
Issue Title
 
No 2-3 (2016) Usage of AI-planning techniques to solve problems of Web-services composition Abstract  PDF (Українська)
O.V. Zakharova
 
No 2-3 (2020) Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement Abstract  PDF (Українська)
M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak
 
No 4 (2017) Method of construction of parallel systems for fuzzy logical inference based on GPU accelerators Abstract  PDF (Українська)
S.V. Yershov, R.N. Ponomarenko
 
No 2-3 (2016) Pure first-order logics of quasiary predicates Abstract  PDF (Українська)
M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak
 
No 2-3 (2020) Model of information object for digital library and its verification Abstract  PDF (Українська)
A.V. Novitsky, V.A. Reznichenko
 
No 2-3 (2018) Mapping of the relational algebra to the description logic Abstract  PDF (Українська)
І.S. Chystiakova
 
No 2-3 (2016) Composition-nominative logics of free-quantifier levels Abstract  PDF (Українська)
S.S. Shkilniak, D.B. Volkovytskyi
 
No 3 (2019) First-order composition-nominative logics with predicates of weak equality and of strong equality Abstract  PDF (Українська)
S.S. Shkilniak
 
No 3 (2019) Relations of logical consequence in logics of partial predicates with composition of predicate complement Abstract  PDF (Українська)
O.S. Shkilniak
 
No 2-3 (2018) Logics of general non-deterministic predicates: semantic aspects Abstract  PDF (Українська)
M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak
 
No 1 (2016) Logical consequence relations in logics of quasiary predicates Abstract  PDF (Українська)
O.S. Shkilniak
 
No 1 (2019) Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools Abstract  PDF (Українська)
O.S. Shkilniak
 
26 - 37 of 37 Items << < 1 2 

Search tips:

  • Search terms are case-insensitive
  • Common words are ignored
  • By default only articles containing all terms in the query are returned (i.e., AND is implied)
  • Combine multiple words with OR to find articles containing either term; e.g., education OR research
  • Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
  • Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
  • Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
  • Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"