Dienste (Services)

BIBLIS (Library - Service)

Dialogue Logic: Two proof systems including a web interface!

International Council of Museums CIDOC Conceptual Reference Model OWL DL

Computational Linguistics: Software for Natural Language Processing

Corpora (List of corpora and other linguistic Sources - in german)

The Scheme Programming Language

Alte Algorithmik-Klausuren

A Database of Expert Systems (in German)

History of LISP

Digital Libraries Links

Person Historical Applications

Das Astrolab

Ausstellung in der Gruppenbibliothek Informatik - Sommer 2001

The Astrolabe: An Exhibition in the Computer Science Library - Summer 2001

Gesellschaft für Informatik mit Fachbereich KI

Die Zeitschrift Künstliche Intelligenz

The German Artificial Intelligence Journal