C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
LogicPad: a pen-based application for visualization and verification of boolean algebra.
Bo Kang
Joseph J. LaViola Jr.
Published in:
IUI (2012)
Keyphrases
</>
boolean algebra
image processing
database systems
fuzzy logic
model checking
cardinality constraints