Login / Signup
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation.
Alan Bundy
Bob Welham
Published in:
CADE (1980)
Keyphrases
</>
meta level
rewrite rules
object level
high level
image analysis
moving objects
domain knowledge