Artificial intelligence in mathematics based on the Proceedings of a conference on artificial intelligence in mathematics organized by the Institute of mathematics and its applications hosted by the University of strathclyde and the turing Institute in April 1991 - Johnson, Jeffrey; McKee, Sean; Vella, Alfred (Clarendon Press, 1994)