Designer - a logic diagram design tool.

Published in: ITiCSE (1999)

Keyphrases

design tools
computer aided
physical design
design space
logic programming
multi valued
instructional design
logical framework
modal logic
real world
classical logic
state transition
distance education
pattern recognition
knowledge base
databases
proof theory