Comments on "Universal Logic Modules and Their Applications".

Igor Aleksander

Published in: IEEE Trans. Computers (1971)

Keyphrases

multi valued
modal logic
logic programming
predicate logic
asynchronous circuits
logic synthesis
building blocks
logical framework
defeasible logic
epistemic logic
artificial intelligence
classical logic
functional modules
digital circuits
kolmogorov complexity