Logik und Datenbanktheorie Prof. Dr. Nicole Schweikardt

Logik in der Informatik, Institut für Informatik, Humboldt-Universität zu Berlin

Die Seite der Arbeitsgruppe Logik und Datenbanktheorie ist umgezogen. Sie werden automatisch innerhalb der nächsten Sekunden zur aktuellen Seite http://www.informatik.hu-berlin.de/ldb/ weitergeleitet. Falls die automatische Weiterleitung nicht funktioniert, klicken Sie bitte hier.