Cutpoint Cellular Logic.

Robert C. Minnick

Published in: IEEE Trans. Electron. Comput. (1964)

Keyphrases

cellular automata
modal logic
logic programming
predicate logic
multi valued
logical framework
neural network
machine learning
information systems
automated reasoning
classical logic
deductive reasoning