Login / Signup
Logic proximity bridges.
Eric N. Tran
Vamsee Krishna
Sujit T. Zachariah
Sreejit Chakravarty
Published in:
ITC (2005)
Keyphrases
</>
predicate logic
logic programming
automated reasoning
multi valued
classical logic
proof theory
digital circuits
proximity search
database
asynchronous circuits
logical framework
probabilistic logic
theorem prover
expert systems
search algorithm
artificial intelligence
data sets