Eine Methode zur Aktualisierung aussagenlogischer Wissensbasen - Weber, Andreas 1972- (1987)
Keywords: Wissensaktualisierung; Aussagenlogik; Datenbank; Hochschulschrift