Login / Signup
A 0.5-V MTCMOS/SIMOX logic gate.
Takakuni Douseki
Satoshi Shigematsu
Junzo Yamada
Mitsuru Harada
Hiroshi Inokawa
Toshiaki Tsuchiya
Published in:
IEEE J. Solid State Circuits (1997)
Keyphrases
</>
logic programming
probabilistic logic
classical logic
nano scale
databases
information retrieval
predicate logic
proof theory
data sets
modal logic
automated reasoning
defeasible logic
modal operators
deontic logic
dynamic logic
sound and complete axiomatization