On Automated Scientific Theory Formation: A Case Study using the AM Program

Open in new window