Author:
Ireland Andrew,Llano Maria Teresa,Colton Simon
Publisher
Springer International Publishing
Reference11 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Colton, S.: Automated Theory Formation in Pure Mathematics. Springer, Heidelberg (2002).
https://doi.org/10.1007/978-1-4471-0147-5
3. Colton, S., Bundy, A., Walsh, T.: Automatic invention of integer sequences. In: Proceedings of AAAI (2000)
4. Colton, S., Muggleton, S.: Mathematical applications of inductive logic programming. Mach. Learn. 64, 25–64 (2006)
5. Colton, S., Ramezani, R., Llano, T.: The HR3 discovery system: design decisions and implementation details. In: Proceedings of the AISB Symposium on Computational Scientific Discovery (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献