Login / Signup
Logic and algebraic computation.
Wolfgang Bibel
Published in:
SIGSAM Bull. (1984)
Keyphrases
</>
modal logic
linear algebra
predicate logic
logic programming
computer algebra
logical framework
multi valued
efficient computation
similarity measure
image sequences
genetic algorithm
computational properties
defeasible logic
digital circuits
databases
asynchronous circuits
natural deduction
data sets