http:^^www.cs.cornell.edu^home^kreitz^links.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 230 行 · 第 1/2 页
HTML
230 行
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 23:10:41 GMT
Content-Type: text/html
Content-Length: 9905
Last-Modified: Wednesday, 20-Nov-96 16:49:03 GMT
<html><head><TITLE>Some interesting links -- not yet sorted </TITLE></head><!------------------------------------------------------------------------><BODY bgcolor="#F2F2F2" text="#000000" link="#ff0000" vlink="#555599"><UL> <H3> <A NAME="RESEARCH"> Research Institutions and People </A></H3> <LI> <B>Research Groups: </B> <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF="http://www.cs.cornell.edu/"> Cornell University </A> -- <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF="http://www.kestrel.edu/"> Kestrel Institute </A> -- <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.mpi-sb.mpg.de/guide/ag2.html"> MPI </A> -- <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.dfki.uni-sb.de/"> DFKI </A> ----- <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cornell.edu/p2k//"> Project 2000 Cornell </A> </br> <B>TH Darmstadt: </B> <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://kirmes.inferenzsysteme.informatik.th-darmstadt.de/#intellektik"> FG Intellektik </A> -- <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.informatik.th-darmstadt.de/"> FB Informatik </A> -- <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="http://www.informatik.th-darmstadt.de/PI/SOGIT/"> SoGIT </A> <LI> <B>Individuals: </B> <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="http://foxnet.cs.cmu.edu/people/fp/homepage.html"> Frank Pfenning (USA) </A>, <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.mathematik.th-darmstadt.de/~pfenning/misc/"> (Darmstadt) </A> -- <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="http://www.informatik.uni-muenchen.de/lmu/info/pms/mitarbeiter/gopalan/index.html/"> Gopalan Nadathur </A> <LI> <B>Mechanized Reasoning: </B> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="http://www-formal.stanford.edu/clt/ARS/ars-db.html"> USA </A>, <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="http://jswww.cs.uni-sb.de/ded/mr.html"> In Germany </A> -- <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.uni-koblenz.de/ag-ki/Deduktion/"> Schwerpunkt Deduktion </A> -- <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html/"> Logical Frameworks </A> <LI> <B>Proof Assistants: </B> <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="http://www.cs.cmu.edu/afs/cs/user/fp/public/elf-papers/"> ELF </A> -- <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><A HREF="http://www.cl.cam.ac.uk/users/lcp/isabelle-projects.html"> Isabelle </A> -- <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="http://www.dfki.uni-sb.de/vse/"> VSE </A> -- <!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><A HREF="http://i44www.info.uni-karlsruhe.de/~verifix/"> Verifix</A> </br> <B>NuPRL: </B> <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html"> Homepage </A> -- <!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/html/publication.html"> Recent Publications </A> -- <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/book/doc.html"> The Book </A> -- <!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><A HREF="ftp://ftp.cs.cornell.edu/pub/nuprl/"> The system (FTP) </A> <LI> <B>Hardware: </B> <!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="http://www.sun.co.jp:8080/sunexpress/na/catalog/us_english/"> SunExpress (USA) </A>, <!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><A HREF="http://www.sun.co.jp:8080/sunexpress/europe/catalog/uk_english/"> (Europe) </A> -- <!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><A HREF="http://www.sun.com/"> SUN (USA) </A>, <!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><A HREF="http://www.sun.de/"> SUN Germany </A> <!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><A HREF="http://www.sun.de/promo/1.html"> - special offers - </A> <!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><A HREF="http://www.transtec.de/"> Hamilton </A> <LI> <B>Software: </B> <!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><A HREF="ftp://ftp.x.org/"> X11 (USA) </A> -- <!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><A HREF="ftp://sunsite.unc.edu/"> Sunsite (USA) </A> -- <!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><A HREF="ftp://prep.ai.mit.edu/pub/gnu/"> GNU (USA) </A> -- <!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><A HREF="ftp://ftp.uni-paderborn.de/"> FTP Mirror Paderborn </A> -- <!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><A HREF="ftp://ftp.inria.fr/lang/caml/"> CAML </A> <LI> <B> Job Announcements: </B> <!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><A HREF="http://ic-www.arc.nasa.gov/ic/projects/amhion/index.html"> US Jobs </A>, <!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><A HREF="http://www.compulog.org:8080/net-www/Jobs.html"> Compulog Jobs </A><!-----------------------------------------------------------------------------><!-----------------------------------------------------------------------------> <H3> <A NAME="PUBLISHER"> Journals, Conferences, and Publishers </A> </H3><!-----------------------------------------------------------------------------> <LI> <B>Conferences: </B> <!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><A HREF="http://www.informatik.uni-trier.de/~bern/GI/Announce/"> ALL Conferences </A> -- <!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><A HREF="http://www.research.att.com/lics/"> LICS </A> -- <!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><A HREF="http://wwwjessen.informatik.tu-muenchen.de/~geoff/CADE-14.html> CADE 14 </A> <LI> <B>Publishers: </B> <A HREF="http://science.springer.de"> Springer </A> -- <!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><A HREF="http://www.mcgraw-hill.co.uk"> McGraw Hill </A> -- <!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><A HREF="http://www.wkap.nl"> Kluwer </A> -- <LI> <B>Journals: </B>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?