Funder
H2020 European Research Council
Narodowe Centrum Nauki
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference87 articles.
1. Abrial, J.: Modeling in Event-B—System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Adams, M.: Proof auditing formalised mathematics. J. Formaliz. Reason. 9(1), 3–32 (2016)
3. Agerholm, S., Gordon, M.J.C.: Experiments with ZF set theory in HOL and Isabelle. In: Schubert, E.T., Windley, P.J., Alves-Foss, J. (eds.) Higher Order Logic Theorem Proving and Its Applications, Volume 971 of LNCS, pp. 32–45. Springer, Berlin (1995)
4. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for mathematics by corpus analysis and kernel methods. J. Autom. Reason. 52(2), 191–213 (2014)
5. Asperti, A., Bancerek, G., Trybulec, A. (eds.): Mathematical Knowledge Management (MKM 2004), Volume 3119 of LNCS. Springer, Berlin (2004)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献