Author:
Caminati Marco Bright,Rosolini Giuseppe
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference11 articles.
1. Bancerek, G., Urban, J.: Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles. In: Mathematical Knowledge Management, pp. 44–57. Springer (2004)
2. Cairns, P., Gow, J.: Integrating searching and authoring in Mizar. J. Autom. Reason. 39(2), 141–160 (2007)
3. Caminati, M.: Preliminaries to classical first-order model theory. Form. Math. 19(3), 155–167 (2011)
4. Grabowski, A., Korniłowicz, A., Naumowicz, A.: Mizar in a nutshell. J. Form. Reason. 3(2), 153–245 (2010)
5. Naumowicz, A.: Evaluating prospective built-in elements of computer algebra in Mizar. Stud. Log. Gramm. Rhetor. 10(23), 191–200 (2007)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献