Login / Signup
Sleep Convention Logic using partially slept function blocks.
Parviz Palangpour
Scott C. Smith
Published in:
MWSCAS (2013)
Keyphrases
</>
sound and complete axiomatization
multi valued
piecewise linear
neural network
automated reasoning
case study
modal logic
image sequences
image processing
logical framework
computational properties
predicate logic
asynchronous circuits
proof theory
cf contextpath
obstructive sleep apnea
truth table
database