Login / Signup
Constructor-based observational logic.
Michel Bidoit
Rolf Hennicker
Published in:
J. Log. Algebraic Methods Program. (2006)
Keyphrases
</>
modal logic
multi valued
predicate logic
databases
logic programming
automated reasoning
classical logic
neural network
information systems
website
database systems
data structure
expressive power
digital circuits
truth values
causal inference