Automated theory formation in pure mathematics /
Colton, Simon,1973-
London : Springer,
c2002.
Includes bibliographical references and index.
Mathematics
Artificial intelligence.
Automatic theorem proving.
Expert systems (Computer science)