An Appreciation of Bob Paige

Martin Davis. An Appreciation of Bob Paige. Higher-Order and Symbolic Computation, 18(1-2):13-13, 2005. [doi]

Authors

Martin Davis

This author has not been identified. Look up 'Martin Davis' in Google