Author:
Heras Jónathan,Komendantskaya Ekaterina,Johansson Moa,Maclean Ewen
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Basin, D., Bundy, A., Hutter, D., Ireland, A.: Rippling: Meta-level Guidance for Mathematical Reasoning. Cambridge University Press (2005)
2. Bishop, C.: Pattern Recognition and Machine Learning. Springer (2006)
3. Buchberger, B., et al.: Theorema: towards computer-aided mathematical theory exploration. Journal of Applied Logic 4(4), 470–504 (2006)
4. Lecture Notes in Computer Science;K. Claessen,2013
5. Lecture Notes in Computer Science;K. Claessen,2010
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献