Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alan Bundy, Bob Welham. Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. In Wolfgang Bibel, Robert A. Kowalski, editors, 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Volume 87 of Lecture Notes in Computer Science, pages 24-38, Springer, 1980.

This author has not been identified. Look up 'Alan Bundy' in GoogleThis author has not been identified. Look up 'Bob Welham' in Google

runs on WebDSL