Conditional-Sum Addition Logic.

Published in: IRE Trans. Electron. Comput. (1960)

Keyphrases

random field model
real time
genetic algorithm
lower bound
logic programming
modal logic
multi valued
classical logic
conditional logic
database
real world
linear logic