Author:
Kaliszyk Cezary,Urban Josef
Publisher
Springer International Publishing
Reference62 articles.
1. The QED Manifesto. In: Bundy, A. (ed.) CADE 1994. LNCS, vol. 814, pp. 238–251. Springer, Heidelberg (1994)
2. Afshar, S.K., Siddique, U., Mahmoud, M.Y., Aravantinos, V., Seddiki, O., Hasan, O., Tahar, S.: Formal analysis of optical systems. Math. Comput. Sci. 8(1), 39–70 (2014)
3. Lecture Notes in Computer Science;J Alama,2011
4. Alama, J., Mamane, L., Urban, J.: Dependencies in formal mathematics: applications and extraction for Coq and Mizar. In: Jeuring et al. [24], pp. 1–16
5. Asperti, A., Ricciotti, W.: A web interface for Matita. In: Jeuring et al. [24], pp. 417–421
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献