Structured logic.

Richard A. Henle Irving T. Ho G. A. Maley Ronald Waxman

Published in: AFIPS Fall Joint Computing Conference (1969)

Keyphrases

logic programming
structured data
modal logic
multi valued
predicate logic
classical logic
computational properties
databases
digital circuits
proof theory
database
real world
search algorithm
probabilistic logic
asynchronous circuits