BIMOS, an MOS oriented multi-level logic simulator.

Piet Stevens Guido Arnout

Published in: DAC (1983)

Keyphrases

classical logic
flip flops
modal logic
floating gate
multi valued
epistemic logic
proof theory
case study
logic programming
logical framework
predicate logic
deontic logic
knowledge base
automated reasoning
defeasible logic
simulation tool