📄 http:^^www.cs.utexas.edu^users^sawada^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:30:55 GMT
Content-Type: text/html
Content-Length: 1700
Last-Modified: Friday, 04-Oct-96 17:49:41 GMT
<body background="http://www.cs.utexas.edu/users/unicron/images/clouds.jpg"><! Following line is for setting the text color.><! text="000000" LINK="ff5500" ALINK="000000" VLINK="000000"><title>Jun Sawada</title><h1>Jun Sawada</h1><h2>Contact information:</h2><dl><dt> Email address:<dd> sawada@cs.utexas.edu<dt> office:<dd> Main 2003, (512)471-9744<dt> Mailing Address:<dd> Univ. of Texas, Department of Computer Science,<dd> Taylor Hall 2.124, Austin, TX, 78712-1188, USA<dt> Home Mailing Address:<dd> 2001 Wooten Dr., Austin, TX, 78757, (512)206-0656</dl><h2>Dissertation Oral Proposal:</h2><li> <!WA0><!WA0><!WA0><a href=http://www.cs.utexas.edu/users/sawada/abstract.txt> Time, Place and Abstract </a><li> <!WA1><!WA1><!WA1><a href=http://www.cs.utexas.edu/users/sawada/proposal.ps> Proposal Paper </a> PS File - 119kB<li> <!WA2><!WA2><!WA2><a href=http://www.cs.utexas.edu/users/sawada/techreport.ps> Supplementary Technical Report </a> PS File - 241kB<h2>Resources:</h2><li> <!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/sawada/ACL2/acl2-doc.html">Acl2</a><li> <!WA4><!WA4><!WA4><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/cltl/mirrors.html">Common Lisp Language, 2nd Edition</a><li> <!WA5><!WA5><!WA5><a href="http://www.comlab.ox.ac.uk/archive/formal-methods.html">Bowen's Formal Methods Page</a><li> <!WA6><!WA6><!WA6><a href="http://lal.cs.byu.edu/other_FM.html">BYU Formal methods around the world</a><li> <!WA7><!WA7><!WA7><a href="http://www.csl.sri.com/sri-csl-pvs.html">PVS</a><h2>Other Frequently Accessed Pages:</h2><li> <!WA8><!WA8><!WA8><a href="http://www.cs.utexas.edu">UT Austin CS Department</a><li> <!WA9><!WA9><!WA9><a href="http://www.cs.utexas.edu/docs/personal.html"> My Teachers and Fellows</a><li> <!WA10><!WA10><!WA10><a href="http://www.cli.com">Computational Logic Inc</a><li> <!WA11><!WA11><!WA11><a href="http://www.cs.utexas.edu/users/boyer/courses/cs395t-spring96.html">Boyer's Class Information</a></body>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -