Authors: Newborn, M

Citation: M. Newborn, Deep Blue's contribution to AI, ANN MATH A, 28(1-4), 2000, pp. 27-30

Authors: Yu, QX Almulla, M Newborn, M

Citation: Qx. Yu et al., Heuristics used by HERBY for semantic tree theorem proving, ANN MATH A, 23(3-4), 1998, pp. 247-266