Compiling connectives.

Charles J. Swift

Published in: Commun. ACM (1960)

Keyphrases

inference rules
real time
relational databases
truth values
genetic algorithm
computer vision
special case
fuzzy logic
general purpose
rough sets
classical logic