Login / Signup
Quasi-matrix Logic.
Yuriy V. Ivlev
Published in:
J. Multiple Valued Log. Soft Comput. (2005)
Keyphrases
</>
multi valued
database
modal logic
positive definite
proof theory
singular value decomposition
automated reasoning
logical framework
machine learning
artificial intelligence
low rank
linear algebra
probabilistic logic
hopfield neural network
asynchronous circuits
linear logic