Isabelle (Chinese Wikipedia)
Analysis of information sources in references of the Wikipedia article "Isabelle" in Chinese language version.
refsWebsite
Global rank
Chinese rank
1st place
1st place
low place
low place
1,669th place
1,456th place
arxiv.org
- Paulson, L. C. Natural deduction as higher-order resolution. The Journal of Logic Programming. 1986, 3 (3): 237. arXiv:cs/9301104
. doi:10.1016/0743-1066(86)90015-4.
cam.ac.uk
cl.cam.ac.uk
- Gordon, Mike. 1.2 History. Isabelle and HOL. Cambridge AR Research (The Automated Reasoning Group). 1994-11-16 [2016-04-28]. （原始内容存档于2017-03-05）.
doi.org
- Paulson, L. C. Natural deduction as higher-order resolution. The Journal of Logic Programming. 1986, 3 (3): 237. arXiv:cs/9301104 . doi:10.1016/0743-1066(86)90015-4.
isa-afp.org
- Eberl, Manuel; Klein, Gerwin; Nipkow, Tobias; Paulson, Larry; Thiemann, René. Archive of Formal Proofs. [22 October 2019]. （原始内容存档于2020-12-19）.
- Archive of Formal Proofs. [2020-02-11]. （原始内容存档于2020-12-19）.
web.archive.org
- Eberl, Manuel; Klein, Gerwin; Nipkow, Tobias; Paulson, Larry; Thiemann, René. Archive of Formal Proofs. [22 October 2019]. （原始内容存档于2020-12-19）.
- Gordon, Mike. 1.2 History. Isabelle and HOL. Cambridge AR Research (The Automated Reasoning Group). 1994-11-16 [2016-04-28]. （原始内容存档于2017-03-05）.
- Archive of Formal Proofs. [2020-02-11]. （原始内容存档于2020-12-19）.
- afp.sourceforge.net. [2020-02-11]. （原始内容存档于2016-03-19）.
- 使用 Isabelle 的研究项目列表 （页面存档备份，存于互联网档案馆）