Bob Welham

发表

What computers still can’t do: a critique of artificial reason

Bob Welham, 1994 .

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

Alan Bundy, Bob Welham, Bob Welham, 1980, Artif. Intell..