Automatic generation of logic diagrams.

James A. Smith James G. Linders

Published in: DAC (1976)

Keyphrases

logic programming
automatically generate
modal logic
predicate logic
information systems
automated reasoning
multi valued
logical framework
classical logic
sound and complete axiomatization
database
delay insensitive
asynchronous circuits
nonmonotonic logics
database design
artificial intelligence
databases