http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=%E6%96%87%E4%BB%B6%3AAcl2-system-architecture.gif 2026-05-13T06:23:10Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=%E6%96%87%E4%BB%B6:Acl2-system-architecture.gif&diff=165197&oldid=prev 2022-08-14T14:21:59Z

<p>https://www.cs.utexas.edu/users/moore/acl2/v8-5/combined-manual/index.html?topic=ACL2____ACL2_02System_02Architecture <a href="/wiki/%E5%88%86%E7%B1%BB:Reasoning" title="分类:Reasoning">category:reasoning</a> <a href="/wiki/%E5%88%86%E7%B1%BB:Proof_assistant" title="分类:Proof assistant">category:proof assistant</a> <a href="/wiki/%E5%88%86%E7%B1%BB:Formal" title="分类:Formal">category:formal</a> <a href="/wiki/%E5%88%86%E7%B1%BB:Lisp" title="分类:Lisp">category:lisp</a></p> <p><b>新页面</b></p><div>https://www.cs.utexas.edu/users/moore/acl2/v8-5/combined-manual/index.html?topic=ACL2____ACL2_02System_02Architecture<br /> <br /> [[category:reasoning]]<br /> [[category:proof assistant]]<br /> [[category:formal]]<br /> [[category:lisp]]</div>

Allen