Solid Logic Design Automation.

Paul W. Case Herbert H. Graff Leroy E. Griffith A. Robert LeClercq Windsor B. Murley Thomas M. Spence

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

Keyphrases

design automation
test generation
circuit design
predicate logic
modal logic
computer aided design
classical logic
integrity constraints
defeasible logic
image processing
three dimensional
object oriented
logic programming
proof theory