Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference16 articles.
1. Alama, J.: mizar-items: Computing fine-grained dependencies in the Mizar mathematical library. In: Davenport, J., Farmer, W.M., Urban, J., Rabe, F. (eds.) Intelligent Computer Mathematics, 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18–23. Proceedings. Lecture Notes in Computer Science, vol. 6824, pp. 266–7 (2011). doi: 10.1007/978-3-642-22673-1_19
2. Alama, J.: Tipi: a tptp-based theory development environment emphasizing proof analysis. CoRR abs/1204.0901 (2012)
3. Alama, J., Brink, K., Mamane, L., Urban, J.: Large formal wikis: Issues and solutions. In: Davenport, J., Farmer, W.M., Urban, J., Rabe, F. (eds.) Intelligent Computer Mathematics, 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18–23. Proceedings, Lecture Notes in Computer Science, vol. 6824, pp. 133–148. Springer (2011). doi: 10.1007/978-3-642-22673-1_10
4. Lecture Notes in Computer Science;J Alama,2012
5. Barker-Plummer, D., Barwise, J., Etchemendy, J.: Language, Proof and Logic. Center for the Study of Language and Information, 2nd edn. (2011)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mizar: State-of-the-art and Beyond;Lecture Notes in Computer Science;2015