Login / Signup

Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation.

Alan BundyBob Welham
Published in: Artif. Intell. (1981)
Keyphrases