Aw expanded logic equation list for checkout.

Jock A. Rader D. A. Isaak

Published in: DAC (1969)

Keyphrases

logic programming
multi valued
defeasible logic
asynchronous circuits
hamilton jacobi
real time
databases
neural network
website
case study
modal logic
automated reasoning
computational properties
nonmonotonic logics
web snippets
sound and complete axiomatization