📄 http:^^www.ma.utexas.edu^users^bshults^atp^related-links.html
字号:
Date: Tue, 07 Jan 1997 15:42:04 GMTServer: NCSA/1.4.2Content-type: text/html<html><title>Links to other ATP pages</title><h1>Links to other ATP pages</h1><ul><li><!WA0><!WA0><a href="http://www.ma.utexas.edu/users/bshults/ATP/home.html">The UT ATP page</a>.<li><!WA1><!WA1><aHREF="http://js-sfbsun.cs.uni-sb.de/pub/www/worldwide-deduction.html">Automated Deduction Worldwide</a><li><!WA2><!WA2><a HREF="http://www.comlab.ox.ac.uk/archive/formal-methods.html">Oxford's Formal Methods Page</a><li><!WA3><!WA3><a HREF="http://theory.stanford.edu/people/uribe/research.html">Uribe's Deduction Page at Stanford</a><li><!WA4><!WA4><a HREF="http://theory.stanford.edu/people/uribe/usa.html">Uribe's US links at Stanford</a><li><!WA5><!WA5><a HREF="http://www.mpi-sb.mpg.de:80/igpl/Bulletin/">IGPLBulletin</a><li>The <!WA6><!WA6><ahref="http://www.mcs.anl.gov/home/mccune/ar/aar">Association forAutomated Reasoning</a><li>The <!WA7><!WA7><a href="http://www.mcs.anl.gov/home/mccune/ar/jar">Journalof Automated Reasoning</a><li>The <!WA8><!WA8><ahref="http://www.mcs.anl.gov/home/mccune/ar/cade">Conference onAutomated Deduction</a><li>The <!WA9><!WA9><ahref="http://www.cs.washington.edu/research/jair/home.html">Journal ofArtificial Intelligence Research</a><li><!WA10><!WA10><a HREF="http://www.cs.unc.edu/mi/mi.html">UNC Mechanized Inference Page</a><li><!WA11><!WA11><a HREF="http://ai.iit.nrc.ca/ai_people.html">IIT AI PersonalHome Pages</a><li><!WA12><!WA12><aHREF="http://www.cs.cmu.edu/afs/cs/user/dennis/www/theory/theory-home.html">Dennis' Theory Page</a><li><!WA13><!WA13><aHREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html">CMU AI Repository</a><li><!WA14><!WA14><a HREF="http://www.ai.mit.edu/people/dam/dam.html">DavidMcAllester</a> has done some inspiring work in this field.<li><!WA15><!WA15><a href="http://i12www.ira.uka.de/~reiner/">Reiner Haehnle</a>works on semantic tableax and many-valued logics with others at <!WA16><!WA16><ahref="http://www.ira.uka.de">Karlsruhe</a>.<li><!WA17><!WA17><aHREF="http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/andrews/www/tps.html">TPS</a> is an automated theorem proving program for higher-order logic.<li><!WA18><!WA18><a href="file://math.harvard.edu/imps/imps_html/imps.html">IMPS</a> is another theorem proving system which uses knowledge.</ul><hr><em>Do you have feedback or want more information? Contact </em><!WA19><!WA19><ahref="http://www.ma.utexas.edu/users/bshults">Benjamin Shults</a>.<hr>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -