Login / Signup
CANLOGS: a logic gate simulator for all seasons.
R. Mark Meyer
Published in:
SIGCSE (1996)
Keyphrases
</>
logic programming
modal logic
classical logic
automated reasoning
predicate logic
multi valued
information retrieval
simulation model
databases
artificial intelligence
test bed
inference rules
nonmonotonic logics
digital circuits
formal theory