Login / Signup
A First Order Resolution Calculus with Symmetries.
Uwe Egly
Published in:
LPAR (1993)
Keyphrases
</>
high resolution
term rewriting
higher order
first order logic
neural network
real numbers
video sequences
expert systems
np complete
higher resolution
algebraic structure
provably correct