Funder
Engineering and Physical Sciences Research Council
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference18 articles.
1. Adams, M.: HOL Zero, http://www.proof-technologies.com/holzero/
2. Andrew Pitts et al.: The HOL System: Logic, 3rd edn. http://hol.sourceforge.net/documentation.html
3. Arthan, R.: HOL constant definition done right. In: Klein, G., Gamboa, R. (eds.) pp. 531–536. doi: 10.1007/978-3-319-08970-6_34
4. Arthan, R., Jones, R.B.: Z in HOL in ProofPower. BCS FACS FACTS (2005-1). http://www.lemma-one.com/ProofPower/index/
5. Boyer, R.S., Goldschlag, D.M., Kaufmann, M., Moore, J.S.: Functional instantiation in first order logic. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 7–26. Academic Press, Boston (1991)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献