Web search [Google [Scholar] | Altavista | Yahoo [US | UK | DE]]
Libraries [ KVK | SWB | Innsbruck | Munich [Elektra | TU [Classes | Math/Inf | Delivery]] Karlsruhe [Uni | Inf] | Cambridge]
Bibliographies [Zentralblatt MATH | ISI Web | BibTex | Kluwer | Springer [Books | LINK | LNCS] | Elsevier]
Language [LEO english german dictionary | Merriam Webster ]
Innsbruck [Informatics Department | CL | Teaching [MIP | CL] | VIS | Mitteilungsblatt | Local Transport]
Munich [Informatics Department | Chair
IV | Chair XXI | Local
Transport | Weather
[Forecast]]
Karlsruhe [Informatics Department [People | Groups | Mittelbau | Talks | Teleseminar Automatisches Beweisen]]
Cambridge [E-mail dictionary | Computer Laboratory: People | Logic and Semantics talks]
Computer algebra [SymbolicNet | CAIN]
Projects [QED | OpenMath | Logical Frameworks | DFG: Deduktion | St. Andrews | Poly/ML]
Related groups [Bundy | Calmet | Calculemus | Davenport | Fateman | Nipkow | Paulson | Wang ]