📄 http:^^logic.stanford.edu^classes^cs222^
字号:
Date: Wed, 20 Nov 1996 22:53:34 GMTServer: NCSA/1.4.1Content-type: text/htmlLast-modified: Tue, 26 Sep 1995 19:26:52 GMTContent-length: 841<HTML><HEAD><TITLE>CS222: Autonomous Systems</TITLE><BASE HREF = "http://logic.stanford.edu/classes/cs222/index.html"></HEAD><BODY><H1>CS222: Autonomous Systems</H1><P>The following documents are available:<p><ul><li> <!WA0><a href="http://logic.stanford.edu/classes/cs222/information.dvi">Course Information</a> (dvi)<li> <!WA1><a href="http://logic.stanford.edu/classes/cs222/schedule.dvi">Lecture Schedule</a> (dvi)<li> <!WA2><a href="http://logic.stanford.edu/classes/cs222/basics.dvi">Slides for lecture on Basics</a> (dvi)<li> <!WA3><a href="http://logic.stanford.edu/classes/cs222/examples.dvi">Slides for lecture on Examples</a> (dvi)<li> <!WA4><a href="http://logic.stanford.edu/classes/cs222/reactive.dvi">Slides for lecture on Reactive Systems</a> (dvi)<li> <!WA5><a href="http://logic.stanford.edu/classes/cs222/representational.dvi">Slides for lecture on Representational Systems</a> (dvi)</ul><hr><ADDRESS><!WA6><A HREF = "http://logic.stanford.edu/people/genesereth/">Michael R. Genesereth </A>,Stanford University, genesereth@cs.stanford.edu</ADDRESS></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -