Łukasiewicz μ-calculus.

Matteo Mio Alex Simpson

Published in: Fundam. Informaticae (2017)

Keyphrases

algebraic structure
neural network
knowledge base
multiresolution
automated theorem proving
automated deduction
provably correct
databases
data mining
information retrieval
decision making
data structure