title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
---|---|---|---|
Automated Theory Formation in Pure Mathematics | 978-1-85233-6O9-7 (1-85233-6O9-9) | 2002 | Simon Colton |
Harold S. Colton · Harold Sellers Colton · Joel S. Colton · S.C. · Sarah Colton · Sheelagh Colton · Sheryl Colton · Shin J. Colton · Simon Colton