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. ISBN 0198536860. Published by Clarendon Press in 1994. Publication and catalogue information, links to buy online and reader comments.