Logic-on-logic 3D integration and placement.

Thorlindur Thorolfsson Guojie Luo Jason Cong Paul D. Franzon

Published in: 3DIC (2010)

Keyphrases

modal logic
logic programming
nonmonotonic logics
predicate logic
classical logic
digital circuits
data fusion
probabilistic logic
computational properties