Login / Signup
Prerequisites for Developing a Methodology for Estimating and Increasing Cryptographic Strength based on Many-Valued Logic Functions.
Artem Sokolov
Nadiia Kazakova
Lydia Kuzmenko
Mariia Mahomedova
Published in:
CPITS (2021)
Keyphrases
</>
modal logic
truth values
multi valued
predicate logic
classical logic
neural network
aggregation functions
automated reasoning
smart card
rigid body
concept lattice
temporal logic
conceptual clustering
logic programming
case study
deontic logic
databases
asynchronous circuits