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
Some interesting links -- not yet sorted
- Research Groups:
Cornell University --
Kestrel Institute --
MPI --
DFKI
-----
Project 2000 Cornell
TH Darmstadt:
FG Intellektik --
FB Informatik --
SoGIT
- Individuals:
Frank Pfenning (USA) ,
(Darmstadt) --
Gopalan Nadathur
- Mechanized Reasoning:
USA ,
In Germany --
Schwerpunkt Deduktion --
Logical Frameworks
- Proof Assistants:
ELF --
Isabelle --
VSE --
Verifix
NuPRL:
Homepage --
Recent Publications --
The Book --
The system (FTP)
- Hardware:
SunExpress (USA) ,
(Europe) --
SUN (USA) ,
SUN Germany
- special offers -
Hamilton
- Software:
X11 (USA) --
Sunsite (USA) --
GNU (USA) --
FTP Mirror Paderborn --
CAML
- Job Announcements:
US Jobs ,
Compulog Jobs
- Conferences:
ALL Conferences --
LICS --
Springer --
McGraw Hill --
Kluwer --
- Journals:
AI Journal --
Elsevier CS Journals --
TCS
- Electronic:
IGPL Journal --
Unified Journal/Conference Bibliographies
- Eiffel:
SIG --
Eiffel Public
- Local:
DEC Research Reports --
SEKI Kaiserslautern --
SEKI Saarbruecken
- Global:
Travelweb --
Seatop (Germany) --
Tourismus Info Internet --
WWW-Server of all countries
- State Info (maps):
New Mexico --
Utah --
Arizona --
Montana --
Wyoming
- Rental Cars:
Thrifty --
Alamo
- Airlines:
Delta ,
United ,
Continental ,
USAir ,
Lufthansa ,
Swissair ,
Quantas --
Other Airlines
- Hotels:
Major Chains --
- Weather:
Forecast Ithaca --
Temperatures USA --
Precipitation USA --
- News:
CNN --
USA today --
New York Times
- USA Homes ,
- Nachrichten:
Tagesschau ,
WiSo ,
- Verkehr:
DB Fahrplan ,
Frankfurt Flughafen
- Deutschlandkarte:
- Hifi:
American Buyers' --
6Th AVE Electronics --
WholeSale --
All Brands --
Infinity --
Audiomap
- Santander VISA
- Windham Hill
- Wall-Street Camera
- Jeep
- FTP list
-
FAQ in Math
- JAVA Security