IMMD 8 -- Department of Computer Science 8: Services
IMMD Home Page

Informatik 8 Services

BIBLIS (AI 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

The Scheme Programming Language

  • SchemeTeach: An interactive version of the lecture ``Algorithmik I''

  • The GI (German Computer Science Society) Scheme Archive

  • The Internet Scheme Repository.

    (A copy of nexus.yorku.ca:pub/scheme)

  • Information about SCM (a particular Scheme implementation), and SLIB, the portable Scheme library

    • Alte Algorithmik-Klausuren

    A Database of Expert Systems (in German)

    History of LISP

    Digital Libraries Links

    Person Historical Applications

  • Descendants of Charlemagne

  • WW-Person, an Index of German Nobility

  • Descendants of Valentin Parcham, town mayor of Treptow/Rega

  • a genweb data base by Siemens GK

    • 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

    Herbert Stoyan
    Last modified: Sat May 10 00:48:23 CEST 2008