Iterative-Interactive Technique for Logic Partitioning.

Maurice Hanan Angelo Mennone Peter K. Wolff Sr.

Published in: IBM J. Res. Dev. (1974)

Keyphrases

logic programming
classical logic
virtual reality
computer graphics
iterative methods
modal logic
data driven
bayesian networks
user interaction
neural network
database systems
information systems
user friendly
computer vision
interactive learning
interactive systems
highly interactive
data sets