Lazy simulation of digital logic.

Colin C. Charlton D. Jackson Paul H. Leng

Published in: Comput. Aided Des. (1991)

Keyphrases

logic programming
simulation model
reinforcement learning
mathematical model
classical logic
case study
multi agent systems
simulation study
modal logic
digital content
digital media
automated reasoning
multi valued
predicate logic