Dienste (Services)
Dialogue Logic:
Two proof systems
including a web interface
WissKI:
Virtual Research Environment focussing
on semantic object documentation
Erlangen CRM:
International Council of Museums CIDOC Conceptual Reference Model OWL DL
The Scheme Programming
Language
including a Research Bibliography for the History of
Cartography -
mappae:
Kognitive Karten des Mittelalters / Cognitive maps of the middle ages
Person Historical
Applications
Ausstellung in der
Gruppenbibliothek Informatik - Sommer 2001
An Exhibition in the Computer Science
Library - Summer 2001
The German Artificial
Intelligence Journal
|