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, J.(Jeffrey)
McKee, Sean.
Vella, Alfred.
Institute of Mathematics and Its Applications.
Oxford : Clarendon Press,
1994.