📄 http:^^www.cs.cornell.edu^info^people^kreitz^index.html

📁 This data set contains WWW-pages collected from computer science departments of various universities
💻 HTML
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 19:31:23 GMT
Content-Type: text/html
Content-Length: 4566
Last-Modified: Wednesday, 20-Nov-96 16:45:13 GMT

<HTML><!****************************************************************************><HEAD><A NAME="Contents"><TITLE>Home page of Christoph Kreitz</TITLE></A></HEAD><!****************************************************************************><!****************************************************************************><BODY bgcolor="#F2F2F2" text="#000000" link="#ff3333" vlink="#555599"><table cellpadding=10 cellspacing=5 width=600><tr><!-------------------------------- col one --------------------------------><td valign=top hspace=20 width=130>  <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><IMG hspace=20 SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/wizard.xbm"> <br> <br> <font size=2 color="#FF7700"><I>My own picture soon</I></font></td><!-------------------------------- col one --------------------------------><td valign=top width=220>  <H1> <font size=10 color="#007700"> Christoph Kreitz </font></H1></td><!-------------------------------- col one --------------------------------><td valign=top width=190>  <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><IMG SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/dsklogo2.xbm">  <br><br> <STRONG> Research Associate </STRONG></td></table><!------------- sollte mein BILD sein -------------><table cellpadding=0 cellspacing=5 width=600><tr><!-------------------------------- col one --------------------------------><td valign=top width=110>  <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><IMG hspace=40 SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/mail.xbm"></td><!-------------------------------- col two --------------------------------><td valign=top width=250><DL>  <DT><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.cornell.edu/"> Department of Computer Science</A> <DT><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.info.cornell.edu/CUHomePage.html">    Cornell University</A>             <DT><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cornell.edu/Ithaca.html">    Ithaca</A>,                 <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.vtourist.com/web-ny/"> NY</A> 14853       <DT><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="http://www.vtourist.com/webmap/usa.htm/"> <B>  USA </B>   </A> </DL></td><!-------------------------------- col three ------------------------------><td align=left width=35 ><DL>  <DT><STRONG>Office:</STRONG>   <br> <DT><STRONG>Phone: </STRONG>  <DT><STRONG>Fax:   </STRONG>  <DT><STRONG>Email: </STRONG> </DL></td><!-------------------------------- col four  --------------------------------><td align=left width=150 ><DL>  <DT><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="http://www.cs.cornell.edu/Info/People/kreitz/myroom.html"> 4159 Upson Hall</A> <DD><br> <DT>++ 1 (607) 255 1068 <DT>++ 1 (607) 255 4428 <DT><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="mailto:kreitz@cs.cornell.edu">kreitz@cs.cornell.edu</a></DL></td></table><HR><!------------------------------------------------------------------------><table cellpadding=0 cellspacing=5 width=600> <tr><!-------------------------------- col one --------------------------------><td valign=top width=280> <H3> <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><IMG vspace=10 SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/research.gif"> <A NAME="ResearchTopics">Research Topics:</A></H3><UL><font size=3>  <LI> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="http://www.cs.cornell.edu/Info/People/kreitz/papers.html#ProgramSynthesis">	Program Synthesis             </A>  <LI> <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="http://www.cs.cornell.edu/Info/People/kreitz/papers.html#TypeTheory"> 	Automated Deduction and Type Theory</A>  <LI> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.cs.cornell.edu/Info/People/kreitz/papers.html#TheoryofComputation">	Theory of Computation         </A>	</font></UL></td><!-------------------------------- col two --------------------------------><td valign=top width=320> <H3> <A NAME="Topics"> Teaching and Learning (German): </A>  <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><IMG hspace=10 SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/scroll.xbm"></H3><UL><font size=3>  <LI> <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="http://www.cs.cornell.edu/home/kreitz/papers.html#Teaching"> Lehre und Lernen  </A>  <LI> <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><A HREF="http://www.cs.cornell.edu/home/kreitz/papers.html#Lectures"> Vorlesungsskripte  </A>  <LI> <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="http://www.cs.cornell.edu/home/kreitz/hyperscript.html"> Medienunterst&uuml<I></I>tztes Lehren </A>  </font></UL></td></table><br><HR><!------------------------------------------------------------------------><br><br><p align=center><I><font size=2 color="#0000CC"><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><IMG ALIGN=bottom  SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/garfield.xbm"><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><IMG ALIGN=bottom SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/hourglass.xbm"> This is my personal home page. More information will be available soon. <!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><IMG ALIGN=bottom SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/under-construction.gif"></font></I></p><font size=2 color="#0000CC"><STRONG>Last modified:</STRONG>	 <BLINK><EM>November 6, 1996</EM></BLINK></font><ADDRESS><p align=right><font size=2>  <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="http://www.cs.cornell.edu/home/kreitz">Christoph Kreitz</A>  /    <!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><a href="mailto:kreitz@cs.cornell.edu">t>kreitz@cs.cornell.edu</a></font></p></ADDRESS><font size=1 color="#0000CC">	<!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="http://www.cs.cornell.edu/home/kreitz/links.html">		<STRONG>SOME LINKS</STRONG></A></font></BODY><!****************************************************************************></HTML>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -