Funder
Polish National Science Centre
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference29 articles.
1. Alama, J., Kohlhase, M., Mamane, L., Naumowicz, A., Rudnicki, P., Urban, J.: Licensing the Mizar Mathematical Library. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) Proceedings of the 18th Calculemus and 10th International Conference on Intelligent Computer Mathematics Lecture Notes in Computer Science, vol. 6824, pp 149–163. Springer-Verlag , Berlin, Heidelberg (2011)
2. Bancerek, G.: The fundamental properties of natural numbers. Formalized Math. 1(1), 41–46 (1990)
3. Behaghel, O.: Beziehungen zwischen Umfang und Reihenfolge von Satzgliedern. Indogermanische Forschungen 25, 110–142 (1909)
4. Corbineau, P.: A Declarative Language for the Coq Proof Assistant. In: Proceedings of the 2007 International Conference on Types for Proofs and Programs, pp 69–84 (2007)
5. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. A Series of Books in the Mathematical Science. W. H. Freeman and Company, New York (1979)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献