Login / Signup
Rigid Unification by Completion and Rigid Paramodulation.
Gérard Becher
Uwe Petermann
Published in:
KI (1994)
Keyphrases
</>
three dimensional
theorem proving
inference rules
theorem prover
database
genetic algorithm
decision trees
video sequences