A Microprogramming Logic.

Published in: IEEE Trans. Software Eng. (1988)

Keyphrases

multi valued
modal logic
automated reasoning
real world
logical framework
digital circuits
machine learning
social networks
computer vision
image processing
expert systems
query language
classical logic
nonmonotonic logics
sound and complete axiomatization