ACL2 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "ACL2" in Chinese language version.

refsWebsite

Global rank Chinese rank

4web.archive.org

1^st place

1^st place

916^th place

1,065^th place

1,185^th place

809^th place

207^th place

628^th place

acm.org

awards.acm.org

Software System Award. ACM Awards. ACM. [2012]. （原始内容存档于2012-04-02）.

psu.edu

citeseerx.ist.psu.edu

A mechanically checked proof of the correctness of the kernel of the AMD5K86 floating point division algorithm. CiteSeerX: 10.1.1.43.3309.

utexas.edu

cs.utexas.edu

Books and Papers about ACL2 and Its Applications. [2014-01-24]. （原始内容存档于2013-11-06）.
The ACL2 Workshop Series. [2014-01-24]. （原始内容存档于2014-02-13）.
有趣的应用（页面存档备份，存于互联网档案馆）

web.archive.org

Software System Award. ACM Awards. ACM. [2012]. （原始内容存档于2012-04-02）.
Books and Papers about ACL2 and Its Applications. [2014-01-24]. （原始内容存档于2013-11-06）.
The ACL2 Workshop Series. [2014-01-24]. （原始内容存档于2014-02-13）.
有趣的应用（页面存档备份，存于互联网档案馆）