Bob Welham

Publication Activity (10 Years)

Years Active: 1980-1991
Publications (10 Years): 0

Publications

Yossi Lichtenstein, Bob Welham, Ajay Gupta
Time Representation in Prolog Circuit Modelling. ALPUK (1991)
Alan Bundy, Bob Welham
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. Artif. Intell. 16 (2) (1981)
Alan Bundy, Bob Welham
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. CADE (1980)