An Appreciation of Bob Paige

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.