Dienste (Services)
BIBLIS (Library - Service)
Dialogue Logic:
Two proof systems
including a web interface!
International Council of Museums CIDOC Conceptual Reference Model
Conceptual Reference Model (CRM) Version 4.2.4 in OWL-DL
Protege project file
Short Documentation [pdf]
G. Goerz: What's in an E55 Type? [pdf] (Talk given at the CRM-SIG Meeting, Nuremberg, Dec. 2007)
Corpora (List of corpora and other linguistic Sources - in german)
The Scheme Programming
Language
Person Historical
Applications
Ausstellung in der
Gruppenbibliothek Informatik - Sommer 2001
The Astrolabe: An Exhibition in the Computer Science
Library - Summer 2001
The German Artificial
Intelligence Journal
| 
