Constant Delay Logic Style.

Pierce Chuang David Li Manoj Sachdev

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2013)

Keyphrases

logic programming
automated reasoning
data sets
modal logic
classical logic
predicate logic
proof theory
multi valued
digital circuits
learning algorithm
website
probability theory
deontic logic
deductive reasoning