Easily Testable Iterative Logic Arrays.

Cheng-Wen Wu Peter R. Cappello

Published in: IEEE Trans. Computers (1990)

Keyphrases

multi valued
classical logic
automated reasoning
genetic algorithm
data driven
modal logic
database
neural network
artificial intelligence
information systems
logic programs
logic programming
formal theory
recursive programs