Elements of spin logic.

Sergey I. Kasatkin Andrey M. Murav'ev Vladimir V. Amelichev Dmitriy V. Kostyuk

Published in: Autom. Remote. Control. (2015)

Keyphrases

modal logic
multi valued
genetic algorithm
case study
classical logic
set theory
predicate logic
database
search engine
social networks
multiscale
logic programming
situation calculus
digital circuits
formal theory