Inversion-Mode InGaAs FinFETs for Logic and RF Applications.

Jing-Yuan Wu Mu-Yu Chen Edward. Yi Chang

Published in: ASICON (2023)

Keyphrases

logic programming
radio frequency
classical logic
image reconstruction
proof theory
multi valued
sound and complete axiomatization
databases
modal logic
automated reasoning
logical framework
theorem prover
deontic logic
programming language
deductive reasoning
phased array
information retrieval