An interactive man-machine approach to the computer logic partitioning problem.

Maurice Hanan Angelo Mennone Peter K. Wolff Sr.

Published in: DAC (1974)

Keyphrases

man machine
computer systems
logic programming
classical logic
interactive computer
graphical interface
learning algorithm
case study
automated reasoning
truth values