TY  - BOOK
AU  - Colton, Simon, 1973-
TI  - Automated theory formation in pure mathematics
SN  - 1852336099 (alk. paper)
CY  - London, New York
KW  - Mathematics
KW  - Methodology
KW  - Data processing
KW  - Artificial intelligence
KW  - Automatic theorem proving
KW  - Expert systems (Computer science)
ER  -