A MOS/LSI oriented logic simulator.

Dan Holt Dave Hutchings

Published in: DAC (1981)

Keyphrases

latent semantic indexing
modal logic
flip flops
classical logic
logic programming
vector space
automated reasoning
predicate logic
data sets
simulation platform
evolutionary robotics
database
proof theory
deontic logic
computational properties
logical framework
probability theory
similarity measure